Deliverables: A Categorical Approach to Program Development in Type Theory (1992)

Cached

Download Links

by James Hugh McKinna
Citations:24 - 1 self

Active Bibliography

TYPES, SETS AND CATEGORIES – John L. Bell
46 Coercive subtyping – Zhaohui Luo - 1998
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
7 Partial computations in constructive type theory – Scott F. Smith - 1991
5 Ordinals and Interactive Programs – Peter Hancock - 2000
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
98 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
6 The Calculus of Constructions and Higher Order Logic – Herman Geuvers - 1992
5 The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving – Mark-Oliver Stehr
31 Constructions, Inductive Types and Strong Normalization – Thorsten Altenkirch - 1993
134 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
29 General recursion via coinductive types – Venanzio Capretta
83 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
Author manuscript, published in "Theoretical Computer Science (2002)" DOI: 10.1016/S0304-3975(00)00347-9 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 2013
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
Computer Science Journal of Moldova, vol.20, no.3(60), 2012 Basics of Intensionalized Data: Presets, Sets, – Nominats, Mykola Nikitchenko, Alexey Chentsov
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable