Polarized Higher-Order Subtyping (1997)

Cached

Download Links

by Martin Steffen
Citations:32 - 1 self

Active Bibliography

1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
36 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
A Semantics for Stratified λ&-early – G. Castagna, G. Ghelli, G. Longo - 1994
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
32 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
A Semantics for a Stratified λ&-Early: A Calculus with Overloading and Early Binding – Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo - 1993
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
138 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
1 Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping – Giuseppe Castagna - 1995
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
139 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
35 A Semantics of Object Types – Martín Abadi, Luca Cardelli - 1994
26 Decidable Bounded Quantification – Giuseppe Castagna , Benjamin C. Pierce - 1994