Generalised Folds for Nested Datatypes (1999)

Cached

Download Links

by Richard Bird , Ross Paterson
Venue:Formal Aspects of Computing
Citations:35 - 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
228 Functional Data Structures – Chris Okasaki - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
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
35 Contracting proofs to programs – D Leivant - 1990
215 Introduction to Functional Programming using Haskell, 2nd edition – R Bird - 1998
11 Efficient Generalized Folds – Ralf Hinze - 1999
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
330 Theorems for free! – Philip Wadler - 1989
238 Interprétation fonctionnelle et elimination des coupures de l’arithmétique d’ordre supérieur. Thèse d’état, Université de Paris 7 – J-Y Girard - 1972
95 Inductive types and type constraints in the second-order lambda calculus – N P Mendler
219 Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics – Mac Lane, S - 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