Objects and Subtyping in a Functional Perspective (1992)

Cached

Download Links

by Martin Odersky
Citations:2 - 1 self

Active Bibliography

19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
29 Type Substitution for Object-Oriented Programming – Jens Palsberg, Michael I. Schwartzbach - 1990
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
Interface-Oriented Programming and Representation Inference – L. Robert Varney - 2005
25 Formal Object Oriented Development of Software Systems using LOTOS – J. Paul Gibson - 1993
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
1 Class Inheritance: The Mechanism and Its Uses – Greg Ewing - 1994
11 What is Type-Safe Code Reuse? – Jens Palsberg, Michael I. Schwartzbach, Ny Munkegade - 1991
2 Semantic Hierarchy Refactoring by Abstract Interpretation – Francesco Logozzo, Agostino Cortesi
326 Theorems for free! – Philip Wadler - 1989
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
sch65512_ch07.qxd 12/18/03 11:26 AM Page 166 7 Chapter From Modules to Objects Chapter Objectives – unknown authors
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999