Subtyping recursive types (1993)

by Roberto M. Amadio , Luca Cardelli
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:313 - 8 self

Active Bibliography

952 The Generative Lexicon – James Pustejovsky - 1991
485 A semantics of multiple inheritance – Luca Cardelli - 1988
120 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
345 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
292 A Formal Approach to Software Architecture – Robert J. Allen - 1997
139 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
117 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993