| 18 | | * Generics a la Hinze (HW2001?) |
| | 18 | * Polytypic Programming ([http://www.cs.uu.nl/~johanj/publications/notes.ps Jeuring and Jansson], AFP 1996) |
| | 19 | * Generic FP (Hinze, [http://www.informatik.uni-bonn.de/~ralf/publications/POPL00.ps.gz PoPL 2000], [http://www.informatik.uni-bonn.de/~ralf/publications/HW99.ps.gz Haskell Workshop 1999]) |
| | 20 | * Lightweight Generics ([http://www.informatik.uni-bonn.de/~ralf/publications/HW2002.pdf Cheney and Hinze], Haskell Workshop 2002) |
| | 21 | * Scrap your Boilerplate ([http://www.cs.vu.nl/boilerplate/ Lämmel and Peyton Jones], TLDI 2003 etc) |
| | 22 | * Generics for the Masses ([http://www.informatik.uni-bonn.de/~ralf/publications/ICFP04.pdf Hinze], ICFP 2004) |
| | 23 | * Type-indexed datatypes ([http://www.cs.uu.nl/~johanj/publications/tidata.pdf Hinze, Jeuring, Löh], SoCP 2004) |
