|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
235
|
Constructive mathematics and computer programming
– Per Martin-Lof
- 1982
|
|
14
|
NuPRL’s class theory and its applications
– Robert L. Constable, Jason Hickey
- 2000
|
|
41
|
Coercive subtyping
– Zhaohui Luo
- 1998
|
|
35
|
Typing Algorithm in Type Theory with Inheritance
– Amokrane Saïbi
- 1997
|
|
156
|
Simple Type-Theoretic Foundations for Object-Oriented Programming
– Benjamin C. Pierce, David N. Turner
- 1993
|
|
830
|
A Theory of Objects
– Luca Cardelli, Martín Abadi
- 1996
|
|
55
|
A non-type-theoretic semantics for type-theoretic language
– S Allen
- 1987
|
|
17
|
Dependent Intersection: A New Way of Defining Records in Type Theory
– Alexei Kopylov
|
|
68
|
Building reliable, high-performance communication systems from components
– Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden , Kenneth Birman, Robert Constable
- 1999
|
|
98
|
Computation and reasoning. A type theory for computer science., volume 11
– Z Luo
- 1994
|
|
417
|
The calculus of constructions
– Coquand, G Huet
- 1988
|
|
40
|
Decidability of Higher-Order Subtyping with Intersection Types
– Adriana B. Compagnoni
- 1994
|
|
27
|
Formal Objects in Type Theory Using Very Dependent Types
– Jason J. Hickey
- 1996
|
|
31
|
The MetaPRL Logical Programming Environment
– Jonathan Hickey, Jason Jonathan Hickey, Ph. D
- 2001
|
|
12
|
Foundations for the Implementation of Higher-Order Subtyping
– Karl Crary
- 1997
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
95
|
Proofs as programs
– Joseph L Bates, Robert L Constable
- 1985
|
|
65
|
Recursive data structures
– C A R Hoare
- 1989
|
