|
24
|
A Tutorial on Co-induction and Functional Programming
– Andrew D. Gordon
- 1994
|
|
45
|
On subtyping and matching
– Luca Cardelli
- 1995
|
|
10
|
Type Inference with Simple Selftypes is NP-complete
– Jens Palsberg, Trevor Jim
- 1997
|
|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
5
|
Themes in Final Semantics
– Marina Lenisa
- 1998
|
|
33
|
Compilation and Equivalence of Imperative Objects
– Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
- 1998
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
239
|
Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1998
|
|
81
|
A Programmer's Reduction Semantics for Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1999
|
|
|
Denotational Semantics Using an Operationally-Based Term Model
– Mitchell Wand, Gregory T. Sullivan
- 1997
|
|
7
|
FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO
– Manfred Schmidt-Schauß
- 2003
|
|
33
|
A Semantics of Object Types
– Martín Abadi, Luca Cardelli
- 1994
|
|
|
May 28, 1994 3:03 PM ESOP'94 1
– Theory Of Primitive
|
|
1
|
Foundations of Object-Oriented Languages
– Nd Workshop, Gary T. Leavens
- 1995
|
|
11
|
Objects as Mobile Processes
– Hans Hüttel, Josva Kleist
- 1996
|
|
8
|
An Imperative Object Calculus -- Basic Typing and Soundness
– Martin Abadi, Luca Cardelli
- 1995
|
|
12
|
A Type System for Computer Algebra
– Philip S. Santas
- 1994
|
|
1
|
Foundations of Object-Oriented Languages - 2nd Workshop report
– Giuseppe Castagna, Gary T. Leavens, Gary T. Leavens
- 1994
|
|
24
|
An imperative object calculus
– Martín Abadi, Luca Cardelli
- 1995
|
