|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
24
|
An imperative object calculus
– Martín Abadi, Luca Cardelli
- 1995
|
|
74
|
A theory of primitive objects: Untyped and first-order systems
– Martín Abadi, Luca Cardelli
- 1994
|
|
8
|
An Imperative Object Calculus -- Basic Typing and Soundness
– Martin Abadi, Luca Cardelli
- 1995
|
|
4
|
Low-Level Type Systems for Modularity and Object-Oriented Constructs
– Arthur Neal Glew
- 2000
|
|
|
May 28, 1994 3:03 PM ESOP'94 1
– Theory Of Primitive
|
|
30
|
The Development of Type Systems for Object-Oriented Languages
– Kathleen Fisher, John C. Mitchell
- 1996
|
|
24
|
Programming Languages for Reusable Software Components
– Matthew Flatt
- 1999
|
|
45
|
On subtyping and matching
– Luca Cardelli
- 1995
|
|
1
|
Should ML be object-oriented?
– David MacQueen
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
|
OPUS: a Calculus for Modelling Object-Oriented Concepts
– Nc E F, Techreport Vub-tinf-tr, Tom Mens, Tom Mens, Kim Mens, Kim Mens, Patrick Steyaert, Patrick Steyaert
- 1994
|
|
51
|
Positive Subtyping
– Martin Hofmann, Benjamin Pierce
- 1994
|
|
22
|
Objects and classes in Algol-like languages
– Uday S. Reddy
- 2002
|
|
6
|
Simple, Efficient Object Encoding using Intersection Types
– Karl Crary
- 1999
|
|
109
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
|
32
|
Notes on Typed Object-Oriented Programming
– Kathleen Fisher, John C. Mitchell
- 1994
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
81
|
A Programmer's Reduction Semantics for Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1999
|
