|
3
|
Generic Operations on Nested Datatypes
– Ian Bayley
- 2001
|
|
22
|
Manufacturing Datatypes
– Ralf Hinze
- 1999
|
|
8
|
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
– Andreas Abel, Ralph Matthes, Tarmo Uustalu
- 2003
|
|
8
|
(Co-)iteration for higher-order nested datatypes
– Andreas Abel, Ralph Matthes
- 2003
|
|
6
|
Fixed points of type constructors and primitive recursion
– Andreas Abel, Ralph Matthes
- 2004
|
|
12
|
Polytypic Functions Over Nested Datatypes
– Ralf Hinze
- 1999
|
|
29
|
Generalizing Generalized Tries
– Ralf Hinze
- 1999
|
|
28
|
Generalised Folds for Nested Datatypes
– Richard Bird, Ross Paterson
- 1999
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
5
|
Initial algebra semantics is enough
– Patricia Johann, Neil Ghani
- 2007
|
|
2
|
Representing Cyclic Structures as Nested Datatypes
– Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
|
|
12
|
Foundations for structured programming with GADTs
– Patricia Johann
- 2008
|
|
26
|
Dealing with Large Bananas
– Ralf Lammel, Joost Visser, Jan Kort
- 2000
|
|
63
|
Generic Haskell: practice and theory
– Ralf Hinze, Johan Jeuring
- 2003
|
|
5
|
Numerical Representations as Higher-Order Nested Datatypes
– Ralf Hinze
- 1998
|
|
2
|
D.: TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development
– Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo
- 1991
|
|
14
|
Dependently Typed Data Structures
– Hongwei Xi
- 1999
|
|
13
|
Polytypic Programming With Ease
– Ralf Hinze
- 1999
|
