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

Cached

Download Links

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

Active Bibliography

14 Divergence of F≤ Type Checking – Giorgio Ghelli
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
35 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
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
26 Statically Typed Friendly Functions via Partially Abstract Types – Benjamin C. Pierce, David N. Turner - 1993
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
2 Rupiah: Towards an Expressive Static Type System for Java – John Foster - 2001
35 Object-Oriented Programming Without Recursive Types – Benjamin C. Pierce, David N. Turner
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
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
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
3 Mutable Objects – Benjamin C. Pierce - 1993
1 A Module System for LOOM – Leaf Eames Petersen - 1997
3 Parametric Polymorphism in a Type-Safe, Object-Oriented Programming Language – Angela Marie Schuett
Foundations of Object-Oriented Languages – Workshop Report, Andrew Black, Jens Palsberg - 1994