Nested datatypes (1998)

Cached

Download Links

by Richard Bird , Lambert Meertens
Venue:In MPC’98, volume 1422 of LNCS
Citations:79 - 5 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
226 Functional Data Structures – Chris Okasaki - 1996
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
215 Introduction to Functional Programming using Haskell – R Bird - 1998
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
326 Theorems for free! – Philip Wadler - 1989
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
939 A theory of type polymorphism in programming – Robin Milner - 1978
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
14 Doaitse Swierstra. Typing dynamic typing – Arthur I Baars, S - 2002
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
10 Functional Pearl: Perfect trees and bit-reversal permutations – R Hinze
105 Data structures and program transformation – G Malcolm - 1990
41 Calculate Polytypically! – Lambert Meertens - 1996
50 Generics for the masses – R HINZE