Bounded Quantification is Undecidable (1993)

Cached

Download Links

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

Active Bibliography

68 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
121 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
Abstract Complexity of kernel Fun – Giorgio Ghelli
824 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
456 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
452 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
Foundation of Object-Oriented Programming – Giuseppe Castagna - 1998