Talk "Typage dynamique de l'objet courant"
- "On Understanding Types, Data Abstraction, and Polymorphism" L. Cardelli et P. Wegner (1985)
- "Liskov substitution principle" B. Liskov (1987)
- "F-Bounded Polymorphism for Object-Oriented Programming" P. Canning, W. Cook, W. Hill, W. Olthoff et J. C. Mitchell
- "Inheritance is not Subtyping" W. Cook, W. Hill et P. Canning (1990)
- "A Theory of Objects" M. Abadi et L. Cardelli (1996)