Simple Type-Theoretic Foundations for Object-Oriented Programming (1993)

View PDF

Download Links

by Benjamin C. Pierce , David N. Turner
Citations:167 - 17 self

Active Bibliography

141 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
14 Divergence of F≤ Type Checking – Giorgio Ghelli
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
34 Safe and decidable type checking in an object-oriented language – Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert Van Gent, Williamstown Ma, Allyn Dimock, Robert Muller - 1993
121 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
68 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
26 Statically Typed Friendly Functions via Partially Abstract Types – Benjamin C. Pierce, David N. Turner - 1993
314 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993