|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
28
|
Generic Haskell: applications
– Ralf Hinze, Johan Jeuring
- 2003
|
|
45
|
Generic programming within dependently typed programming
– Thorsten Altenkirch, Conor Mcbride
- 2003
|
|
33
|
Generic Haskell, specifically
– Dave Clarke, Andres Löh
- 2002
|
|
67
|
Dependency-style Generic Haskell
– Andres Löh, Dave Clarke, Johan Jeuring
- 2003
|
|
53
|
Type-Indexed Data Types
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2004
|
|
32
|
Generic Programs and Proofs
– Ralf Hinze
- 2000
|
|
38
|
Universes for Generic Programs and Proofs in Dependent Type Theory
– Marcin Benke, Peter Dybjer, Patrik Jansson
- 2003
|
|
52
|
Scrap your boilerplate: a practical approach to generic programming
– Ralf Lämmel, Simon Peyton Jones
- 2003
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
13
|
PolyLib — a polytypic function library
– Patrik Jansson, Johan Jeuring
- 1998
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
49
|
Scrap More Boilerplate: Reflection, Zips, and Generalised Casts
– Ralf Lämmel, Simon Peyton Jones
- 2004
|
|
34
|
Scrap your boilerplate” reloaded
– Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira
- 2006
|
|
70
|
A Lightweight Implementation of Generics and Dynamics
– James Cheney, Ralf Hinze
- 2002
|
|
41
|
Generics for the masses
– R Hinze
- 1998
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
