|
62
|
De Bruijn notation as a nested datatype
– Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle
- 1999
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
68
|
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
– Thorsten Altenkirch, Bernhard Reus
- 1999
|
|
28
|
Generalised Folds for Nested Datatypes
– Richard Bird, Ross Paterson
- 1999
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
7
|
Program Optimisation, Naturally
– Richard Bird, Jeremy Gibbons, Geraint Jones
|
|
221
|
Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse de Doctorat d’ État, Université de Paris VII
– Jean-Yves Girard
- 1972
|
|
22
|
Manufacturing Datatypes
– Ralf Hinze
- 1999
|
|
4
|
Löh and Johan Jeuring (editors). The Generic Haskell user’s guide, version 1.42 - coral release
– Andres
- 2005
|
|
2
|
and Rinus Plasmeijer. Systematic synthesis of functions
– Pieter Koopman
- 2006
|
|
9
|
First-Order Unification by Structural Recursion
– Conor McBride
- 2001
|
|
3
|
Announcing Djinn, version 2004-12-11, a coding wizard. Available from http://permalink.gmane.org/gmane.comp. lang.haskell.general/12747
– Lennart Augustsson
- 2005
|
|
17
|
Generic Downwards Accumulations
– Jeremy Gibbons
- 2000
|
|
13
|
PolyLib — a polytypic function library
– Patrik Jansson, Johan Jeuring
- 1998
|
|
17
|
Systematic search for lambda expressions
– Susumu Katayama
- 2005
|
|
32
|
Generic Programs and Proofs
– Ralf Hinze
- 2000
|
|
67
|
Dependency-style Generic Haskell
– Andres Löh, Dave Clarke, Johan Jeuring
- 2003
|
