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

36 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
138 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
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
14 Divergence of F≤ Type Checking – Giorgio Ghelli
925 The Generative Lexicon – James Pustejovsky - 1991
485 A semantics of multiple inheritance – Luca Cardelli - 1988
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991