Typed operational semantics for higher order subtyping (1997)

by Adriana Compagnoni , Healfdene Goguen
Citations:13 - 4 self

Active Bibliography

1 Decidability of Higher-Order Subtyping via Logical Relations – Adriana Compagnoni, Healfdene Goguen - 1997
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
1 Higher-order subtyping and its decidability – Adriana Compagnoni
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
7 Type Destructors – Martin Hofmann, Benjamin C. Pierce - 1998
28 Foundations for Virtual Types – Atsushi Igarashi , Benjamin C. Pierce - 1998
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
2 Extension Polymorphism – Dharini Balasubramaniam - 1998
1 www.cosc.brocku.ca On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching – M. Winter, Michael Winter - 2005
45 On subtyping and matching – Luca Cardelli - 1995
Products and Polymorphic Subtypes – Viviana Bono, Jerzy Tiuryn - 2002
3 On Binary Methods – Gary T. Leavens, Benjamin Pierce, Giuseppe Castagna, The Hopkins Objects Group, Kim Bruce, Kim Bruce, Luca Cardelli, Luca Cardelli - 1995
10 On Binary Methods – Kim Bruce, et al.
Pure Type Systems with Subtyping (Extended Abstract) – Jan Zwanenburg
3 Typed Intermediate Representations for Compiling Object-Oriented Languages – Joseph C. Vanderwaart - 1999
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
6 Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping – Alex Jones, Zhaohui Luo, sergei Soloviev - 1996
Na├»ve Type Theory – Robert L. Constable - 2002