A Delegation-based Object Calculus with Subtyping (1995)

by Kathleen Fisher , John C. Mitchell
Venue:In Proc. of FCT
Citations:76 - 5 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
49 Privacy via Subsumption – Jon Riecke, Christopher A. Stone - 1998
594 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
452 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
423 Obliq - A language with distributed scope – Luca Cardelli - 1995
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1344 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992