Generalised Folds for Nested Datatypes (1999)

Cached

Download Links

by Richard Bird , Ross Paterson
Venue:Formal Aspects of Computing
Citations:34 - 1 self

Documents Related by Co-Citation

79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
226 Functional Data Structures – Chris Okasaki - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
34 Contracting proofs to programs – D Leivant - 1990
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
22 Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types – R Matthes - 1998
215 Introduction to Functional Programming using Haskell – R Bird - 1998
11 Efficient Generalized Folds – Ralf Hinze - 1999
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
326 Theorems for free! – Philip Wadler - 1989
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
94 Recursive types and type constraints in second-order lambda calculus – P F Mendler - 1987
218 Caotegories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics – S Mac Lane - 1971
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
29 From fast exponentiation to square matrices: an adventure in types – C Okasaki - 1999