34

Contracting proofs to programs
– D Leivant
 1990

19

A note on categorical datatypes
– G C Wraith
 1989

218

Caotegories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics
– S Mac Lane
 1971

1312

Monads for functional programming
– Philip Wadler
 1995

394

Category Theory for Computing Science
– Michael Barr, Charles Wells
 1990

299

Programming with bananas, lenses, envelopes and barbed wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
 1991

94

Recursive types and type constraints in secondorder lambda calculus
– P F Mendler
 1987

51

Inductive and Coinductive types with Iteration and Recursion
– Herman Geuvers
 1992

445

The formulaeastypes notion of construction
– W A Howard
 1980

66

A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
 1987

97

and Order in Algorithmics
– Law
 1992

84

Algebraic Data Types and Program Transformation
– G Malcolm
 1990

215

An introduction to the theory of lists
– R S Bird
 1987

105

Data structures and program transformation
– G Malcolm
 1990

34

Shapely Types and Shape Polymorphism
– C. Barry Jay, J.R.B. Cockett
 1994

178

PolyP  a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
 1997

22

Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types
– R Matthes
 1998

363

Towards a theory of type structure
– J C Reynolds
 1974

520

Lambda Calculi with Types
– Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt
 1992
