A Lightweight Implementation of Generics and Dynamics (2002)

by James Cheney , Ralf Hinze
Citations:74 - 6 self

Documents Related by Co-Citation

57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
31 Type-Safe Cast: Functional Pearl – Stephanie Weirich - 2000
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
153 Type classes with functional dependencies – Mark P. Jones - 2000
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
939 A theory of type polymorphism in programming – Robin Milner - 1978
41 Scrap your boilerplate” reloaded – Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira - 2006
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
50 Generics for the masses – R HINZE
126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
14 Doaitse Swierstra. Typing dynamic typing – Arthur I Baars, S - 2002
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
102 Phantom Types – James Cheney, Ralf Hinze - 2003
48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003