ACM SIGPLAN

Workshop on Generic Programming 2006

9:00 - 10:30, session chair: Ralf Hinze (Universität Bonn)

Welcome

Design Patterns as Higher-Order Datatype-Generic Programs
Jeremy Gibbons (Oxford University)

Type Theoretic Design Patterns
Ondrej Rypacek, Roland Backhouse, Henrik Nilsson (University of Nottingham)

Generating Generic Functions
Johan Jeuring, Alexey Rodriguez, Gideon Smeding (Utrecht University)

11:00 - 12:30, session chair: Peter Dybjer (Chalmers University of Technology)

Good Advice for Type-Directed Programming
Geoffrey Washburn, Stephanie Weirich (University of Pennsylvania)

Context-Parametric Polykinded Types
Pablo Nogueira (University of Nottingham)
Errata.

Modular Generic Programming with Extensible Superclasses
Martin Sulzmann, Meng Wang (University of Singapore)

14:30 - 16:00, session chair: Jeremy Gibbons (Oxford University)

Report from the program chair
Ralf Hinze (Universität Bonn)

Scrap++: Scrap Your Boilerplate in C++
Gustav Munkby, Andreas Priesnitz, Sibylle Schupp, Marcin Zalewski (Chalmers University of Technology)

A Technique for Generic Iteration and Its Optimization
Stephen Watt (University of Western Ontario)

Lightning talks

Parametric Datatype-Genericity
Jeremy Gibbons (Oxford University)

A supported Haskell library for generic programming
Johan Jeuring (Utrecht University)

Indexed types in GHC, a progress report
Simon Peyton-Jones (Microsoft Research)

16:30 - 18:00, session chair: Jeremy Siek (Rice University)

Towards An Automatic Complexity Analysis for Generic Programs
Kyle Ross (Indiana University)

An Object-Oriented Approach to Datatype Generic Programming
Adriaan Moors, Frank Piessen, Wouter Joosen (Katholieke Universiteit Leuven)

Discussion