[Haskell] Call for participation: Workshop on Generic Programming
2006
Ralf Hinze
ralf at informatik.uni-bonn.de
Tue Aug 15 02:55:50 EDT 2006
Dear all,
the Workshop on Generic Programming early registration deadline is only a
few days away: August 18, 2006 (http://regmaster2.com/conf/icfp2006.html).
==> We have reserved 30 minutes for *lightning talks*. If you plan to
==> attend and if you would like to give a short talk (about half-baked,
==> exciting, new stuff) please drop me a short note. Slots will be
==> reserved on a first-come-first-serve basis.
Looking forward to seeing you in Portland, Ralf Hinze
============================================================================
CALL FOR PARTICIPATION
Workshop on Generic Programming 2006
Portland, Oregon, 16th September 2006
The Workshop on Generic Programming is sponsored by ACM SIGPLAN
and forms part of ICFP 2006. Previous Workshops on Generic
Programming have been held in Marstrand (affiliated with MPC),
Ponte de Lima (affiliated with MPC), Nottingham (informal
workshop), Dagstuhl (IFIP WG2.1 Working Conference), Oxford
(informal workshop), and Utrecht (informal workshop).
http://www.informatik.uni-bonn.de/~ralf/wgp2006.{html,pdf,ps,txt}
============================================================================
Preliminary program
-------------------
9.oo - 1o.3o, 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.oo - 12.3o, 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)
Modular Generic Programming with Extensible Superclasses
Martin Sulzmann, Meng Wang (University of Singapore)
14.3o - 16.oo, 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: to be announced
16.3o - 18.oo, 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
============================================================================
More information about the Haskell
mailing list