d-plaindoux / self-type Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Talk "Typage dynamique de l'objet courant"

0 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.idea		.idea
doc		doc
examples		examples
README.md		README.md

Repository files navigation

self-type (avec un t en moins 😁)

Talk "Typage dynamique de l'objet courant"

Captation sur Youtube

References

"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)