Changes between Version 3 and Version 4 of DerivedInstances


Ignore:
Timestamp:
Dec 20, 2005 4:00:56 PM (8 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DerivedInstances

    v3 v4  
    1616There are various extant proposals to enable the user-specification of the derivation of class instances. 
    1717  * NewtypeDeriving 
    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) 
    1924  * TemplateHaskell is capable of this amongst other things 
    20   * fill out this list with some more 
     25  * fill out this list with some more...?