|
32
|
Partial Objects in Constructive Type Theory
– Robert L Constable, Scott Fraser Smith
- 1987
|
|
19
|
Computational Foundations of Basic Recursive Function Theory
– Robert L. Constable, Scott Fraser Smith
- 1988
|
|
80
|
A Type-Theoretic Interpretation of Standard ML
– Robert Harper, Christopher Stone
- 2000
|
|
11
|
Computational Complexity and Induction for Partial Computable Functions in Type Theory
– Robert L. Constable, Karl Crary
- 1999
|
|
2
|
Admissibility of xpoint induction over partial types
– Karl Crary
- 1998
|
|
135
|
Implementing Mathematics with The Nuprl Proof Development System
– Robert L. Constable, Stuart F. Allen, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, Scott F. Smith, James T. Sasaki, S. F. Smith
- 1986
|
|
5
|
Programming Language Semantics in Foundational Type Theory
– K. Crary
- 1996
|
|
18
|
Partial Objects in Type Theory
– Scott Fraser Smith
- 1989
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
235
|
Constructive mathematics and computer programming
– Per Martin-Lof
- 1982
|
|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
395
|
The formulae-as-types notion of constructions
– W A HOWARD
- 1980
|
|
129
|
An intuitionistic theory of types: Predicative part
– Per Martin-Lof
- 1975
|
|
49
|
De Bruijn. A survey of the project AUTOMATH
– N G
- 1980
|
|
195
|
Une extension de l'interpr'etation de Godel `a l'analyse, et son application `a l"elimination des coupures dans l'analyse et la th'eorie des types
– J-Y Girard
- 1971
|
|
417
|
The calculus of constructions
– T COQUAND, G P HUET
- 1988
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
