|
67
|
A Polymorphic Record Calculus and Its Compilation
– Atsushi Ohori
- 1995
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
24
|
Static type inference for parametric classes
– Atsushi Ohori, Peter Buneman
- 1989
|
|
138
|
The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance
– Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick
- 1992
|
|
1
|
Method Reuse in Typed Object-Oriented Languages
– Ryan Stansifer, Dan Wetklow
- 1994
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
74
|
A theory of primitive objects: Untyped and first-order systems
– Martín Abadi, Luca Cardelli
- 1994
|
|
3
|
A framework for module-based language processors
– Guruduth Banavar, Gary Lindstrom
- 1993
|
|
4
|
Persistent Foundations for Scalable Multi-Paradigmal Systems
– Malcolm Atkinson
- 1992
|
|
3
|
Ohori: Static Type Checking in Object-Oriented Databases
– Val Breazu-tannen, Peter Buneman, Atsushi Ohori
- 1989
|
|
4
|
Interfacing Heterogeneous Systems through Functionally specified Transactions (Extended Abstract)
– Rolf A. de By, Rolf A., Hennie J. Steenhagen
- 1993
|
|
|
Naïve Type Theory
– Robert L. Constable
- 2002
|
|
2
|
Naïve computational type theory
– Robert L. Constable
- 2002
|
|
14
|
NuPRL’s class theory and its applications
– Robert L. Constable, Jason Hickey
- 2000
|
|
8
|
An Imperative Object Calculus -- Basic Typing and Soundness
– Martin Abadi, Luca Cardelli
- 1995
|
|
19
|
From Classes to Objects via Subtyping
– Didier Rémy
- 1998
|
|
32
|
Type-Indexed Rows
– Mark Shields, Erik Meijer
- 2001
|
|
24
|
An imperative object calculus
– Martín Abadi, Luca Cardelli
- 1995
|
