Active Bibliography

On Understanding Data . . . – William R. Cook - 2009
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
64 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
97 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
1 Class Inheritance: The Mechanism and Its Uses – Greg Ewing - 1994
64 Interfaces and Specifications for the Smalltalk-80 Collection Classes – William R. Cook - 1992
1 Adding Axioms to Cardelli-Wegner Subtyping – A J H Simons - 1994
1 Rationalising Eiffel's Type System – A J H Simons - 1995
29 Type Substitution for Object-Oriented Programming – Jens Palsberg, Michael I. Schwartzbach - 1990
18 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
138 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
Reasoning About Oject-Oriented Programs That Use Subtypes (Extended Abstract) – Gary T. Leavens, William E. Weihl - 1990
8 A Reflective Model of Inheritance – Suresh Jagannathan, Gul Agha - 1992
5 Using Kinds to Type Partially-Polymorphic Methods – Daniel Bonniot - 2002
4 Inheritance of Proofs – Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup, Fachbereich Mathematik, Lehrstuhl Fur Informatik Vii - 1996
33 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
1 A theory of class – Anthony J H Simons - 1996
2 Specifying and Verifying Object-Oriented Programs: An Overview of the Problems and a Solution – Gary T. Leavens - 1991
7 A Type-Theoretic Basis for an Object-Oriented Refinement Calculus – Emil Sekerinski - 1996