https://github.com/d-plaindoux/self-type
Talk "Typage dynamique de l'objet courant"
https://github.com/d-plaindoux/self-type
nominal structural subtyping talk
Last synced: 4 months ago
JSON representation
Talk "Typage dynamique de l'objet courant"
- Host: GitHub
- URL: https://github.com/d-plaindoux/self-type
- Owner: d-plaindoux
- Created: 2020-08-31T13:37:46.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-09-10T16:02:26.000Z (over 5 years ago)
- Last Synced: 2025-02-07T18:14:37.057Z (about 1 year ago)
- Topics: nominal, structural, subtyping, talk
- Homepage:
- Size: 2.25 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# self-type (avec un t en moins 😁)
Talk "Typage dynamique de l'objet courant"
[Captation sur Youtube](https://www.youtube.com/watch?v=T5Y73U359RM)
# 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)