Literature

The literature for the course consists of lecture notes plus research papers and theses.

Lecture Notes

[LN] Libraries for Generic Programming in Haskell - part of the lecture notes for the 2008 Summer School on Advanced Functional Programming.

Generic Programming in General

[GPI] Generic Programming: An Introduction - Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens. AFP 1999.

[DGP] Datatype-Generic Programming - Jeremy Gibbons. SSDGP 2006.

[CompGP] Comparing Approaches to Generic Programming in Haskell - Ralf Hinze, Johan Jeuring, Andres Löh. SSDGP 2006.

Generic Programming Libraries

Lightweight Implementation of Generics and Dynamics

[LIGD] A Lightweight Implementation of Generics and Dynamics - James Cheney, Ralf Hinze. Haskell 2002.

Generics for the Masses

[GM] Generics for the masses - Ralf Hinze. ICFP 2004.

[EMGM] Extensible and Modular Generics for the Masses - Bruno C.d.S. Oliveira, Ralf Hinze, Andres Löh. TFP 2006.

Scrap Your Boilerplate

[SYB1] Scrap your boilerplate: a practical design pattern for generic programming - Ralf Lämmel, Simon Peyton Jones. TLDI 2003.

[SYB2] Scrap more boilerplate: reflection, zips, and generalised casts - Ralf Lämmel, Simon Peyton Jones. ICFP 2004.

[SYB3] Scrap your boilerplate with class: extensible generic functions - Ralf Lämmel, Simon Peyton Jones. ICFP 2005.

[Spine1] "Scrap Your Boilerplate" Reloaded - Ralf Hinze, Andres Löh, Bruno C.d.S. Oliveira. FLOPS 2006.

[Spine2] "Scrap Your Boilerplate" Revolutions - Ralf Hinze, Andres Löh. MPC 2006.

Regular

[LADGR1] A Lightweight Approach to Datatype-Generic Rewriting - Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. WGP 2008.

Multirec

[Multirec] Generic programming with fixed points for mutually recursive datatypes - Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring. ICFP 2009.

Instant Generics

[IG] Instant Generics: Fast and Easy - Manuel M. T. Chakravarty, Gabriel C. Ditu, Roman Leshchinskiy. Unpublished. 2009.

[LADGR2] A lightweight approach to datatype-generic rewriting - Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães. JFP 2010.

Generic Deriving

[GD] A generic deriving mechanism for Haskell - José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh. Haskell 2010.

[GDinGHC] Generic programming - chapter from the GHC user's guide.

Comparisons

[CompLib] Comparing Libraries for Generic Programming in Haskell - Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira. ICFP 2008.

[GPDR] Generic Programming for Domain Reasoners - Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren. TFP 2009.

Generic Views

[Views] Generic views on data types - Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. MPC 2006.

[OHC] The derivative of a regular type is its type of one-hole contexts - Conor McBride. Unpublished manuscript, 2001.

[GSS] Generic selections of subexpressions - Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring. WGP 2010.

Dependently Typed Programming

[Agda] Agda Tutorials

[GPDTP] Generic programming with Dependent Types - Stephanie Weirich. Spring School on Generic and Indexed Programming 2010.

[FCDGP] A Formal Comparison of Approaches to Datatype-Generic Programming - José Pedro Magalhães, Andres Löh. MSFP 2012.

Generic Haskell

[EGH] Exploring Generic Haskell - Andres Löh. PhD thesis, Utrecht University, 2004.

[GHA] Generic Haskell: Applications - Ralf Hinze, Johan Jeuring. Generic Programming: Advanced Lectures. 2003.

[GHPT] Generic Haskell: Practice and Theory - Ralf Hinze, Johan Jeuring. Generic Programming: Advanced Lectures. 2003.

Related workshops, conferences and journals

• Workshop on Generic Programming homepage
• ICFP
• Journal of Functional Programming