Presentation format for WGP09

The presentation slot is 25 minutes, followed by 5 min for the discussant and 10 min for general discussion.

Style-wise I'd like all presentations to maximise the interaction with the other participants - perhaps fit in a few "exercises" to solve or a demo or something else in the style of "a workshop / a summer school / teamwork" rather than just "a lecture". The discussant's role is to spark discussion, to give an "outsiders view" and to relate the paper to other generic programming research and development.

Presentation requirements

I'm assuming that each presenter will be using their own laptop, and connecting to the data projector in the lecture theatre. Please let me know in advance if this is not the case, and you have different requirements (eg you're not bringing a laptop and want a computer to be provided, or you need a whiteboard or overhead projector).


Each technical talk will have a discussant. Each discussant will read the paper ahead of time, will comment on the paper following the presentation, and before opening the floor to questions. The goal is to guide meaningful and focused discussions of the paper, to help bring out the best in the work, and to position its result in the context of Generic Programming. (There is no need to prepare slides for this.)

Discussant paper assignment

  • 1. Polytypic Properties and Proofs in Coq. Wendy Verbruggen, Edsko de Vries and Arthur Hughes.
  • 1. Discussant: Roland Backhouse, University of Nottingham
  • 2. Adaptable Component Frameworks: Using vector from the C++ Standard Library as an Example. Jyrki Katajainen and Bo Simonsen.
  • 2. Discussant: Scott Smith, Johns Hopkins University
  • 3. The Function Concept in C++ - An Empirical Study. Daniel Lincke and Sibylle Schupp.
  • 3. Discussant: Stephanie Weirich, University of Pennsylvania
  • 4. What Does Aspect-Oriented Programming Mean for Functional Programmers? Meng Wang and Bruno Oliveira.
  • 4. Discussant: Shin-Cheng Mu, Academia Sinica
  • 5. Type-Specialized Staged Programming with Process Separation. Yu David Liu, Christian Skalka and Scott Smith.
  • 5. Discussant: Anders Persson, Ericsson
  • 6. Type-Safe Diff for Families of Datatypes. Eelco Lempsink, Sean Leather and Andres Loeh.
  • 6. Discussant: Thorsten Altenkirch, University of Nottingham
  • 7. Meeting a Fanclub - A Lattice of Generic Shape Selectors. Roland Backhouse, Richard Bird and Paul Hoogendijk.
  • 7. Discussant: Arthur Hughes, Trinity College
  • 8. Parametric Datatype-Genericity. Jeremy Gibbons and Ross Paterson.
  • 8. Discussant: Janis Voigtländer, Technische Universität Dresden