A generic functional programming language (theory, design, implementation, and application)
(supported by the DFG, August 2005 – July 2007)

Material
Grant proposal (in German)
Publications
Ralf Hinze, Andres Löh "Scrap Your Boilerplate" Revolutions, accepted at MPC 2006
Andres Löh, Ralf Hinze Open data types and open functions, draft paper
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez Generic views on data types, accepted at MPC 2006
Alexey Rodriguez, Johan Jeuring, Andres Löh, Type Inference for Generic Haskell
Ralf Hinze, Andres Löh, Bruno Oliveira, "Scrap Your Boilerplate" Reloaded, accepted at FLOPS 2006
Ralf Hinze, Johan Jeuring, Andres Löh, Typed Contracts for Functional Programming, accepted at FLOPS 2006
Activities
Ralf Hinze is organizing a workshop on Generic Programming affiliated with ICFP 2006 in Portland, Oregon
Ralf Hinze and Johan Jeuring are lecturers at the Spring School on Datatype-Generic Programming in Nottingham, April 2006 (in collaboration with Andres Löh)
People
Project members
Ralf Hinze, Universität Bonn
Andres Löh, Universität Bonn
Other
Johan Jeuring, Universiteit Utrecht
Bruno Oliveira, Oxford University Computing Laboratory

Valid XHTML 1.0! Valid CSS!

Andres Löh, 20.03.2006