A typed lambda calculus with categorical type constructors (1987)

Cached

Download Links

by Tatsuya Hagino
Venue:In Category Theory in Computer Science
Citations:46 - 0 self

Documents Related by Co-Citation

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 second-order lambda calculus – P F Mendler - 1987
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
445 The formulae-as-types 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