A Delegation-based Object Calculus with Subtyping (1995)

by Kathleen Fisher , John C. Mitchell
Venue:In Proc. of FCT
Citations:75 - 6 self

Documents Related by Co-Citation

929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
169 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994
594 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
367 Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems – Henry Lieberman - 1986
1344 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
510 A semantics of multiple inheritance – Luca Cardelli - 1988
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999