Nested datatypes (1998)

View PDF

Download Links

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

Documents Related by Co-Citation

179 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
985 A theory of type polymorphism in programming – Robin Milner - 1978
243 Functional Data Structures – Chris Okasaki - 1996
97 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
339 Theorems for free! – Philip Wadler - 1989
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
760 Types and Programming Languages – Benjamin C Pierce - 2002
228 Introduction to Functional Programming using Haskell – Richard Bird - 1998