|
4
|
A Predicative Type-Theoretic Interpretation of Objects
– Jason J. Hickey
- 1997
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
108
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
|
31
|
The MetaPRL Logical Programming Environment
– Jonathan Hickey, Jason Jonathan Hickey, Ph. D
- 2001
|
|
|
The MetaPRL Logical Programming Environment - Volume I
– Jason Jonathan Hickey
- 2001
|
|
9
|
A Core Calculus of Classes and Objects
– Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell
- 1999
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
49
|
A Core Calculus of Classes and Mixins
– Viviana Bono , Amit Patel, Vitaly Shmatikov
- 1999
|
|
6
|
Subtyping Recursive Types in Kernel Fun
– Dario Colazzo, Giorgio Ghelli
- 1999
|
|
24
|
An imperative object calculus
– Martín Abadi, Luca Cardelli
- 1995
|
|
7
|
Type Destructors
– Martin Hofmann, Benjamin C. Pierce
- 1998
|
|
29
|
Typing in object-oriented languages: Achieving expressiveness and safety
– Kim B. Bruce
- 1996
|
|
12
|
Nuprl-Light: An implementation framework for higher-order logics
– Jason J. Hickey
- 1997
|
|
3
|
Anti-Symmetry of Higher-Order Subtyping
– Adriana Compagnoni, Healfdene Goguen
- 1999
|
|
4
|
Low-Level Type Systems for Modularity and Object-Oriented Constructs
– Arthur Neal Glew
- 2000
|
|
2
|
Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs
– James L. Caldwell
- 1998
|
|
4
|
A Type System for Record Concatenation and Subtyping
– Jan Zwanenburg
- 1996
|
|
19
|
From Classes to Objects via Subtyping
– Didier Rémy
- 1998
|
|
7
|
Partial computations in constructive type theory
– Scott F. Smith
- 1991
|
