Session 1 Chair: Roland Backhouse
9.00 - 9.30 Tim Sheard - Reflective Metaprogramming systems as environments for generic programming
9.30 - 10.00 Fritz Ruehr - Structural Polymorphism
10.00 -10.30 Peter Dybjer - Universal Type Theory
Session 2 Chair: Lambert Meertens
11.00 -11.30 H. Pfeifer and H. Ruess - Polytypic Abstraction in Type Theory
11.30- 12.00 Loic Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - Generic Progamming by Program Composition
12.00 - 12.30 Bernhard Moeller - Are anamorphisms reasonable abstractions?
12.30 - 12.45 Discussion
Session 3 Chair: Jose Oliveira
14.00 -14.30 Patrik Jansson and Johan Jeuring - PolyLib, a Library of Polytypic Functions
14.30 - 15.00 Lambert Meertens - Functor Pulling
15.00 - 15.30 C.B. Jay, E. Moggi and G. Belle - Functors, Types and Shapes
Session 4 Chair: Johan Jeuring
16.00 - 16.30 Bjoern Lisper - Data Fields
16.30 - 17.00 Alberto Pardo - Fusion of Monadic (Co)Recursive Programs
Session 5 Chair: Tim Sheard
19.00 - 19.30 J.N. Oliveira - "Fractal Types": an Attempt to Generalize Hash Table Calculation
19.30 - 20.00 Jens Palsberg, C. Barry Jay and J. Noble - Experiments with Generic Visitors
20.00 - 21.00 Discussion