Bounded Quantification is Undecidable (1993)

Cached

Download Links

by Benjamin C. Pierce
Venue:Information and Computation
Citations:102 - 9 self

Active Bibliography

66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
36 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
117 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
Sous-Typage Et Programmation Orientée à Objets – Giuseppe Castagna
Foundation of Object-Oriented Programming – Giuseppe Castagna - 1998
14 Divergence of F≤ Type Checking – Giorgio Ghelli
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
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
89 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
A Semantics for Stratified λ&-early – G. Castagna, G. Ghelli, G. Longo - 1994
A Semantics for a Stratified λ&-Early: A Calculus with Overloading and Early Binding – Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo - 1993
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
138 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
109 A Proposal for Making Eiffel Type-Safe – William Cook - 1989
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995