Inductive and Coinductive types with Iteration and Recursion (1992)

Cached

Download Links

by Herman Geuvers
Venue:Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad
Citations:51 - 0 self

Documents Related by Co-Citation

95 Inductive types and type constraints in the second-order lambda calculus – N P Mendler
441 The formulas-as-types notion of construction – W A Howard - 1980
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1311 Monads for functional programming – Philip Wadler - 1995
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
35 Contracting proofs to programs – D Leivant - 1990
731 Notions of Computation and Monads – Eugenio Moggi - 1991
656 Concurrency and automata on infinite sequences – D Park - 1981
995 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003