• 2010-12-22: Videos from WGP talks have been posted on ACM DL and on Vimeo.
• 2010-09-25: The program has been updated with discussant assignments.
• 2010-08-12: The program has been posted.
• 2010-07-19: The list of accepted papers has been posted.
• 2010-06-12: The submission deadline has been extended to 16th of June 23:59 Samoa time
• 2010-05-13: Added a link to submission page. The deadline is at 13th of June 23:59 Samoa time (see your timezone here)..
• 2010-03-30: Workshop registration will be provided as a part of the ICFP registration process.
• 2010-02-08: The web page serves as a Call for Papers, but a text version is also available CFP.txt

Each presentation slot is 40 minutes using a discussant format (25m presentation + 5m for the discussant + 10m for general discussion).

• 09.00-10.00: Session 1 Chair: Marcin Zalewski (Indiana University)
  • Welcome + PC chair report, Bruno C. d. S. Oliveira and Marcin Zalewski
  • Outrageous but Meaningful Coincidences (Dependent type-safe syntax and evaluation), Conor McBride
    • Discussant: Edwin Brady
• 10.00-10.30: Tea/coffee
• 10.30-12.30: Session 2 Chair: Shin-Cheng Mu (Academia Sinica)
  • Scrap Your Zippers: A Generic Zipper for Heterogeneous Types, Michael D. Adams
    • Discussant: Manuel Chakravarty
  • Generic Storage in Haskell, Sebastiaan Visser and Andres Loeh
    • Discussant: Fritz Ruehr
  • Generic Selections of Subexpressions, Martijn van Steenbergen, José Pedro Magalhães and Johan Jeuring
    • Discussant: Neil Mitchel
• 12.30-14.00: Lunch
• 14.00-16.00: Session 3 Chair: Bruno C. d. S. Oliveira (Seoul National University)
  • Generic Multiset Programming for Language-Integrated Querying, Fritz Henglein and Ken Friis Larsen
    • Discussant: Jeremy Gibbons
  • Algorithms for Traversal-Based Generic Programming, Bryan Chadwick and Karl Lieberherr
    • Discussant: Patrik Jansson
  • Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language, Thomas van Noort, Peter Achten and Rinus Plasmeijer
    • Discussant: Alley Stoughton
• 16.00-16.30: Tea/coffee
• 16.30-18.00: Session 4 Chair: Conor McBride (University of Strathclyde)
  • Reason Isomorphically!, Ralf Hinze and Daniel James
    • Discussant: Janis Voigtlaender
  • Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning, Shin-Cheng Mu, Yu-Han Lyu and Akimasa Morihata
    • Discussont: Zhenziang Hu

You can find a pdf version of the program here.

• Fritz Henglein and Ken Friis Larsen. Generic multiset programming for language-integrated querying
• Bryan Chadwick and Karl Lieberherr. Algorithms for Traversal-Based Generic Programming
• Michael D. Adams. Scrap Your Zippers: A Generic Zipper for Heterogeneous Types
• Shin-Cheng Mu, Yu-Han Lyu and Akimasa Morihata. Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning
• Conor McBride. Outrageous but Meaningful Coincidences (Dependent type-safe syntax and evaluation)
• Thomas van Noort, Peter Achten and Rinus Plasmeijer. Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language
• Sebastiaan Visser and Andres Loeh. Generic Storage in Haskell
• Ralf Hinze and Daniel James. Reason Isomorphically!
• Martijn van Steenbergen, José Pedro Magalhães and Johan Jeuring. Generic selections of subexpressions

Authors should submit papers, in PDF format to the WGP10 EasyChair instance by 13th of June 2010. The length should be restricted to 12 pages in standard (two-column, 9pt) ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers are published by the ACM and will additionally appear in the ACM digital library.

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.

We welcome contributions on all aspects, theoretical as well as practical, of

• polytypic programming,
• programming with dependent types,
• programming with type classes,
• programming with (C++) concepts,
• generic programming,
• programming with modules,
• meta-programming,
• adaptive object-oriented programming,
• component-based programming,
• strategic programming,
• aspect-oriented programming,
• family polymorphism,
• object-oriented generic programming,
• and so on.

co-Chair

co-Chair

History of the Workshop on Generic Programming

This year:

• Baltimore, 2010 (affiliated with ICFP 2010)

Earlier Workshops on Generic Programming have been held in

• Edinburgh, UK 2009 (affiliated with ICFP09)
• Victoria, BC, Canada 2008 (affiliated with ICFP08),
• Portland 2006 (affiliated with ICFP06),
• Utrecht 2005 (informal workshop),
• Dagstuhl 2002 (IFIP WG2.1 Working Conference),
• Nottingham 2001 (informal workshop),
• Ponte de Lima 2000 (affiliated with MPC),
• Marstrand 1998 (affiliated with MPC).

There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached).

The WGP Permanent Home Page

Committee Page