Objects and Subtyping in a Functional Perspective (1992)

Cached

Download Links

by Martin Odersky
Citations:2 - 1 self

Active Bibliography

2.1 Types are Sets of Classes..................... 4 – unknown authors
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
581 Applying design by contract – Bertrand Meyer - 1992
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
485 A semantics of multiple inheritance – Luca Cardelli - 1988