Derivable Type Classes
暂无分享，去创建一个
[1] Daniel Leivant,et al. Polymorphic type inference , 1983, POPL '83.
[2] Karl Fritz Ruehr,et al. Analytical and structural polymorphism expressed using patterns over types , 1992 .
[3] Mark P. Jones. Qualified Types: Theory and Practice , 1994 .
[4] Simon L. Peyton Jones,et al. Compiling Haskell by Program Transformation: A Report from the Trenches , 1996, ESOP.
[5] Richard S. Bird,et al. Generic functional programming with types and relations , 1996, Journal of Functional Programming.
[6] Noel Winstanley,et al. A type-sensitive preprocessor for haskell , 1997 .
[7] Johan Jeuring,et al. PolyP—a polytypic programming language extension , 1997, POPL '97.
[8] Roland Carl Backhouse,et al. Generic Programming: An Introduction , 1998, Advanced Functional Programming.
[9] Functorial ML , 1998 .
[10] Chris Okasaki,et al. Purely functional data structures , 1998 .
[11] Ralf Hinze,et al. A Generic Programming Extension for Haskell , 1999 .
[12] Ralf Hinze. Polytypic Values Possess Polykinded Types , 2000, MPC.
[13] John Launchbury,et al. Implicit parameters: dynamic scoping with static types , 2000, POPL '00.
[14] Mark P. Jones,et al. Type Classes with Functional Dependencies , 2000, ESOP.
[15] Ralf Hinze,et al. A new approach to generic functional programming , 2000, POPL '00.
[16] Ralf Hinze,et al. Manufacturing datatypes , 2001, J. Funct. Program..