Simple Type-Theoretic Foundations for Object-Oriented Programming (1993)

View PDF

Download Links

by Benjamin C. Pierce , David N. Turner
Citations:167 - 17 self

Documents Related by Co-Citation

510 A semantics of multiple inheritance – Luca Cardelli - 1988
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
307 Abstract Types have Existential Type – John C Mitchell, Gordon D Plotkin - 1988
314 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
1344 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
790 Eiffel: the language – Bertrand Meyer - 1992
813 The Java Programming Language – K Arnold, J Gosling - 1996