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
174 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
214 Introduction to Functional Programming using Haskell, 2 nd edi – R Bird - 1998
11 Efficient Generalized Folds – Ralf Hinze - 1999
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
106 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
326 Theorems for free! – Philip Wadler - 1989
236 Interpretation Fonctionnelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – Jean-Yves Girard - 1972
94 Inductive Types and Type Constraints in the Second-Order Lambda Calculus – N P Mendler - 1991
216 Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics – Saunders Mac Lane - 1998
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