Polytypic Programming in Haskell
暂无分享,去创建一个
[1] Johan Jeuring,et al. PolyLib - a polytypic function library , 1998 .
[2] Tim Sheard. Generic unification via two-level types and parameterized modules , 2001, ICFP '01.
[3] Simon L. Peyton Jones,et al. Template meta-programming for Haskell , 2002, Haskell '02.
[4] Johan Jeuring,et al. PolyP—a polytypic programming language extension , 1997, POPL '97.
[5] Johan Jeuring,et al. A Framework for Polytypic Programming on Terms, with an Application to Rewriting , 2000 .
[6] Roland Carl Backhouse,et al. Generic Programming: Advanced Lectures , 2003 .
[7] Ulf Norell. Functional generic programming and type theory , 2002 .
[8] Jun Furuse. Generic Polymorphism in ML , 2001, JFLA.
[9] Johan Jeuring,et al. Polytypic Unification , 1998, J. Funct. Program..
[10] Simon L. Peyton Jones,et al. Scrap your boilerplate: a practical design pattern for generic programming , 2003, TLDI '03.
[11] Ralf Lämmel,et al. Strategic polymorphism requires just two combinators! , 2002, ArXiv.
[12] Ralf Hinze,et al. Generic Haskell: Practice and Theory , 2003, Generic Programming.
[13] Paul Steckler,et al. The Functional Imperative: Shape! , 1998, ESOP.
[14] Simon L. Peyton Jones,et al. Derivable Type Classes , 2001, Haskell.
[15] Ralf Lämmel,et al. Typed Combinators for Generic Traversal , 2002, PADL.
[16] Marinus J. Plasmeijer,et al. A Generic Programming Extension for Clean , 2001, IFL.