|
13
|
Polytypic Programming With Ease
– Ralf Hinze
- 1999
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
28
|
Generic Haskell: applications
– Ralf Hinze, Johan Jeuring
- 2003
|
|
28
|
Generalised Folds for Nested Datatypes
– Richard Bird, Ross Paterson
- 1999
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
63
|
Generic Haskell: practice and theory
– Ralf Hinze, Johan Jeuring
- 2003
|
|
12
|
Polytypic Functions Over Nested Datatypes
– Ralf Hinze
- 1999
|
|
3
|
Generic Operations on Nested Datatypes
– Ian Bayley
- 2001
|
|
22
|
Manufacturing Datatypes
– Ralf Hinze
- 1999
|
|
|
Yet Another Generic Haskell
– Ralf Lämmel, Joost Visser
|
|
1
|
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
– Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão, Católica Paraná
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
3
|
Disciplined, Efficient, Generalised Folds for Nested Datatypes
– Clare Martin, Jeremy Gibbons, Ian Bayley
- 2002
|
|
|
Perfect Trees and Bit-Reversal Permutations
– Funct I Onal Pearl, Perfect Trees, Bit-reversal Permutations, Ralf Hinze
- 1999
|
|
62
|
De Bruijn notation as a nested datatype
– Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle
- 1999
|
|
13
|
Memo Functions, Polytypically!
– Ralf Hinze
- 2000
|
|
5
|
Numerical Representations as Higher-Order Nested Datatypes
– Ralf Hinze
- 1998
|
|
|
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms
– Ralf Hinze
|
|
1
|
Type Fusion
– Ralf Hinze
|
