WGP09 /

Programme for WGP 2009

The eight Papers accepted for WGP09 will be presented following the programme below. The Presentation Format entails a 25 minutes presentation slot, followed by 5 min for the discussant and 10 min for general discussion. The programme is also available as an A4 sheet WGP09_programme.pdf for convenient printing.

09.00-10.00 : Session 1 Chair: Patrik Jansson (Chalmers University of Technology)
- Welcome + PC chair report. Patrik Jansson
- Polytypic Properties and Proofs in Coq. Wendy Verbruggen, Edsko de Vries and Arthur Hughes.
10.00-10.30 : Tea/coffee
10.30-12.00 : Session 2 Chair: Marcin Zalewski (Indiana University)
- 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.
12.00-13.30 : Lunch
13.30-15.00 : Session 3 Chair: Jeremy Gibbons (University of Oxford)
- 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.
15.00-15.30 : Tea/coffee
15.30-17.30 : Session 4 Chair: Ralf Hinze (University of Oxford)
- 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.