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.