Safe and decidable type checking in an object-oriented language (1993)

Cached

Download Links

by Kim B. Bruce , Jon Crabtree , Thomas P. Murtagh , Robert Van Gent , Williamstown Ma , Allyn Dimock , Robert Muller
Venue:In OOPSLA '93 Conference Proceedings
Citations:35 - 2 self

Active Bibliography

37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
14 Divergence of F≤ Type Checking – Giorgio Ghelli
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
26 Decidable Bounded Quantification – Giuseppe Castagna , Benjamin C. Pierce - 1994
141 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
1 Higher-order subtyping and its decidability – Adriana Compagnoni
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
Sous-Typage Et Programmation Orientée à Objets – Giuseppe Castagna
Foundation of Object-Oriented Programming – Giuseppe Castagna - 1998
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
1 A Module System for LOOM – Leaf Eames Petersen - 1997
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
45 On subtyping and matching – Luca Cardelli - 1995