Subtyping recursive types (1993)

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

Active Bibliography

116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
1 Rationalising Eiffel's Type System – A J H Simons - 1995
(Theory of Computing Systems, 42(3):306-348, 2008) – Steffen Van Bakel Ugo De’liguoro
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
9 Logical equivalence for subtyping object and recursive types – Steffen van Bakel , Ugo de’Liguoro
45 On subtyping and matching – Luca Cardelli - 1995
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
2 System F with Width-subtyping and Record Updating – Erik Poll - 1997
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
Proc. LICS’94 A Semantics of Object Types – Martín Abadi, Luca Cardelli
35 A Semantics of Object Types – Martín Abadi, Luca Cardelli - 1994
1 Proof Normalization and Subject Reduction in Extensions of Fsub – Im Stadtwald, Sergei Vorobyov, Sergei Vorobyov, Sergei Vorobyov - 1995
Fsub with Recursive Types: "Types-As-Propositions" Interpretation in M. Rabin's S2S – Sergei Vorobyov - 1995
2 Soundness of Coercion in the Calculus of Constructions – Gang Chen
7 Hierarchies of Decidable Extensions of Bounded Quantification – Sergei Vorobyov - 1994
3 Extensions of... with Decidable Typing – Sergei G. Vorobyov - 1994
14 A Logic of Subtyping – Giuseppe Longo, Kathleen Milsted, Sergei Soloviev - 1996
12 Subtyping and Parametricity – Gordon Plotkin, Luca Cardelli - 1993