ECC, an Extended Calculus of Constructions (1989)

Cached

Download Links

by Zhaohui Luo
Citations:90 - 4 self

Active Bibliography

109 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Two Lectures on Constructive Type Theory – Robert L. Constable - 2015
629 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1228 Proof-Carrying Code – George C. Necula - 1997
516 Domain Theory – Samson Abramsky, Achim Jung - 1994
601 Term Rewriting Systems – J. W. Klop - 1992
827 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992