Workshop on Generic Programming 2009

Edinburgh, UK, Sun. 30:th August 2009 (just before ICFP09)

(This page: http://wiki.portal.chalmers.se/cse/pmwiki.php/WGP09/ )


Accepted papers for WGP 2009

The WGP programme committee has selected the following 8 papers (out of 14 submissions):

  • Polytypic Properties and Proofs in Coq. Wendy Verbruggen, Edsko de Vries and Arthur Hughes.
  • Adaptable Component Frameworks: Using vector from the C++ Standard Library as an Example. Jyrki Katajainen and Bo Simonsen.
  • The Function Concept in C++ - An Empirical Study. Daniel Lincke and Sibylle Schupp.
  • What Does Aspect-Oriented Programming Mean for Functional Programmers? Meng Wang and Bruno Oliveira.
  • Type-Specialized Staged Programming with Process Separation. Yu David Liu, Christian Skalka and Scott Smith.
  • Type-Safe Diff for Families of Datatypes. Eelco Lempsink, Sean Leather and Andres Loeh.
  • Meeting a Fanclub - A Lattice of Generic Shape Selectors. Roland Backhouse, Richard Bird and Paul Hoogendijk.
  • Parametric Datatype-Genericity. Jeremy Gibbons and Ross Paterson.

All accepted papers be published in the workshop proceedings and presented to the participants of the workshop; thus, at least one of the authors is expected to register for the workshop and come to Edinburgh.

Important dates for WGP'09:

Final papers due:Tuesday2009-06-17
Deadline for submission:Sunday2009-05-10 (five days after ICFP09 notification)
Notification of acceptance:Monday2009-06-01

Authors should submit papers, in PDF format to the WGP09 EasyChair instance by 10th of May 2009. 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.

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 language communities. Generic programming has gradually spread to more and more mainstream languages and is today widely used also in industry. This workshop will bring together leading researchers and practitioners in generic programming from around the world, and feature papers capturing the state of the art in this important area.

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

  • adaptive object-oriented programming,
  • aspect-oriented programming,
  • concepts (as in the STL / C++ sense)
  • component-based programming,
  • generic programming,
  • meta-programming,
  • polytypic programming,
  • programming with modules,
  • and so on.


Patrik Jansson, FP.SET.CSE.Chalmers.se.
Sibylle Schupp, STS.TUHH.de.

Programme Committee

GivenFamilyAffiliationWork page
EdwinBradyU. of St Andrewshttp://www.cs.st-andrews.ac.uk/~eb/
PeterGottschlingTU Dresdenhttp://www.linkedin.com/pub/1/BA6/91A
BarryJayU. of T., Sydneyhttp://www-staff.it.uts.edu.au/~cbj/
JaakkoJärviTexas A&Mhttp://parasol.tamu.edu/~jarvi/
AndresLöhUtrecht U.http://people.cs.uu.nl/andres/
FritzRuehrWillamette U.http://www.willamette.edu/~fruehr/
SibylleSchuppTU Hamburg Harburghttp://www.sts.tu-harburg.de/~schupp/Co-Chair
MarcinZalewskiIndiana U.http://www.cs.indiana.edu/people/z/zalewski.html

PC members will advertise the workshop in their communities and research groups, and encourage co-workers and students to participate. PC members themselves are normally expected to attend the workshop (and they are also are encouraged to submit papers).

We plan to have formal proceedings, published by the ACM.

History of the Workshop on Generic Programming

This year:

Earlier Workshops on Generic Programming have been held in

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).

General Information about WGP

The WGP Permanent Home Page