|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
7
|
international conference on mathematics of program construction
– Fourth
|
|
12
|
Polytypic Functions Over Nested Datatypes
– Ralf Hinze
- 1999
|
|
9
|
Nested datatypes. Pages 52–67 of
– Richard Bird, Lambert Meertens
- 1998
|
|
2
|
Recounting the rationals, continued
– Moshe Newman
- 2003
|
|
25
|
Recounting the rationals
– N Calkin, H Wilf
|
|
408
|
Concrete Mathematics, A Foundation for Computer Science
– Ronald L Graham, Donald E Knuth, Oren Patashnik
- 1990
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
1
|
EWD 570: An exercise for Dr R. M. Burstall
– Edsger W Dijkstra
- 1982
|
|
1
|
EWD 578: More about function ‘fusc
– Edsger W Dijkstra
- 1982
|
|
7
|
Program Optimisation, Naturally
– Richard Bird, Jeremy Gibbons, Geraint Jones
|
|
45
|
Proofs from the Book
– Martin Aigner, Günter M. Ziegler
- 1998
|
|
8
|
Type inference with polymorphic recursion. ACM transactions on programming languages and systems
– Fritz Henglein
- 1993
|
|
5
|
A technical summary of the new features
– Mark Jones
- 1998
|
|
1
|
A tutorial on the universality and expressiveness of fold. Journal of functional programming
– Graham Hutton
- 1999
|
|
7
|
Generalised folds for nested datatypes, Formal Aspects of Computing 11
– R Bird, R Paterson
- 1999
|
|
2
|
A pragmatic approach to maps and folds for parameterized datatypes
– M P Jones, P Blampied
- 1998
|
|
62
|
De Bruijn notation as a nested datatype
– Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle
- 1999
|
