Bounded Quantification is Undecidable (1993)

Cached

Download Links

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

Active Bibliography

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