Thursday 11th July

09:00 - 09:45

Thorsten Altenkirch and Conor McBride, Generic Programming Within Dependently Typed Programming

09:45 - 10:30

Coffee

10:30 - 11:15

Dave Clarke and Andres Loeh, Generic Haskell, Specifically

11:15 - 12:00

Alberto Pardo, Generic Accumulations

12:00 - 12:15

Artem Alimarine, Introduction to demo:Generic Clean
Barry Jay, Introduction to demo: FISh2

12:15 - 13:30

Lunch

13:30 - 14:00

Demonstrations:
Artem Alimarine, Generic Clean
Barry Jay, FISh2
Andres Löh, Generic Haskell

14:00 - 14:45

Sharon Curtis, A Generic Algorithm for Minimum Chain Partitioning

14:45 - 15:30

Raymond Boute, Concrete Generic Functionals: Principles, Design and Applications

15:30 - 16:00

Tea

16:00 - 17:30

Panel discussion

Friday 12th July

09:00 - 09:45

Douglas Gregor and Sybille Schupp, Making the Usage of STL Safe

09:45 - 10:30

Coffee

10:30 - 11:15

Michael Burton, William Griswold, Andrew McCulloch and Gary Huber, Static Data Structures: Unifying Template Metaprogramming and Generic Programming

11:15 - 12:00

Olaf Seng, Thomas Genssler and Benedikt Schulz, Adaptive Extensions of Object-Oriented Systems

12:00 - 12:15

Daniel Schoch, Introduction to demo: LambdaC
Joost Visser, Introduction to demo: Strafunski

12:15 - 13:30

Lunch

13:30 - 14:00

Demonstrations:
Doug Gregor, STLlint
Daniel Schoch, LambdaC
Joost Visser, Strafunski

14:00 - 14:45

William Klostermeyer, David Musser and Arturo J. Sanchez-Ruiz, Complete Traversals as General Iteration Patterns

14:45 - 15:30

Eric Allen, Robert Cartwright and Brian Stoler, Efficient Implementation of Run-time Generic Types for Java

15:30 - 16:00

Tea

16:00 - 17:30

Panel discussion