Ralf Hinze. A new approach to generic functional programming. Technical Report IAI-TR-99-9, Institut fur Informatik III, Universitat Bonn, July 1999.

Languages mentioned

• PolyP {1997} polytypic programming language