[Haskell-cafe] WGP Call for Participation

Bruno Oliveira bruno at ropas.snu.ac.kr
Wed Aug 11 23:16:20 EDT 2010


			       WGP 2010

	   6th ACM SIGPLAN Workshop on Generic Programming
		       Baltimore, Maryland, US
		     Sunday, September 26th, 2010


Collocated with the International Conference on Functional Programming
			     (ICFP 2010)

Goals of the workshop

Generic programming is about making programs more adaptable by making
them more general. Generic programs often embody non-traditional kinds
of polymorphism; ordinary programs are obtained from them by suitably
instantiating their parameters. In contrast with normal programs, the
parameters of a generic program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.

Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.


  * 09.00-10.00: Session 1 Chair: Marcin Zalewski 
    * Welcome + PC chair report
      Bruno C. d. S. Oliveira and Marcin Zalewski
    * Outrageous but Meaningful Coincidences (Dependent type-safe 
      syntax and evaluation)
      Conor McBride

  * 10.00-10.30: Tea/coffee

  * 10.30-12.30: Session 2 Chair: Shin-Cheng Mu 
    * Scrap Your Zippers: A Generic Zipper for Heterogeneous Types 
      Michael D. Adams
    * Generic Storage in Haskell
      Sebastiaan Visser and Andres Loeh
    * Generic Selections of Subexpressions
      Martijn van Steenbergen, José Pedro Magalhães and Johan Jeuring

  * 12.30-14.00: Lunch

  * 14.00-16.00: Session 3 Chair: Bruno C. d. S. Oliveira 
    * Generic Multiset Programming for Language-Integrated Querying 
      Fritz Henglein and Ken Friis Larsen
    * Algorithms for Traversal-Based Generic Programming
      Bryan Chadwick and Karl Lieberherr
    * Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed 
      Functional Language
      Thomas van Noort, Peter Achten and Rinus Plasmeijer

  * 16.00-16.30: Tea/coffee

  * 16.30-18.00: Session 4 Chair: Conor McBride 
    * Reason Isomorphically!
      Ralf Hinze and Daniel James
    * Constructing Datatype-Generic Fully Polynomial-Time 
      Approximation Schemes Using Generalised Thinning
      Shin-Cheng Mu, Yu-Han Lyu and Akimasa Morihata

Workshop homepage:
Registration link:
Local arrangements:

More information about the Haskell-Cafe mailing list