{"id":17796368,"url":"https://github.com/d-plaindoux/self-type","last_synced_at":"2026-02-16T02:32:39.681Z","repository":{"id":142087921,"uuid":"291725079","full_name":"d-plaindoux/self-type","owner":"d-plaindoux","description":"Talk \"Typage dynamique de l'objet courant\"","archived":false,"fork":false,"pushed_at":"2020-09-10T16:02:26.000Z","size":2362,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-02-07T18:14:37.057Z","etag":null,"topics":["nominal","structural","subtyping","talk"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/d-plaindoux.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-08-31T13:37:46.000Z","updated_at":"2021-01-06T10:11:12.000Z","dependencies_parsed_at":"2023-07-22T17:00:33.675Z","dependency_job_id":null,"html_url":"https://github.com/d-plaindoux/self-type","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fself-type","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fself-type/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fself-type/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fself-type/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/d-plaindoux","download_url":"https://codeload.github.com/d-plaindoux/self-type/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246747655,"owners_count":20827190,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["nominal","structural","subtyping","talk"],"created_at":"2024-10-27T11:45:12.886Z","updated_at":"2025-10-10T09:01:22.740Z","avatar_url":"https://github.com/d-plaindoux.png","language":null,"readme":"# self-type (avec un t en moins 😁)\n\nTalk \"Typage dynamique de l'objet courant\"\n\n[Captation sur Youtube](https://www.youtube.com/watch?v=T5Y73U359RM)\n\n# References\n\n\u003cul\u003e\n  \u003cli\u003e\n      \u003ca href=\"http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf\"\u003e\n         \"On Understanding Types, Data Abstraction, and Polymorphism\"\n      \u003c/a\u003e\n      L. Cardelli et P. Wegner (1985)\n  \u003c/li\u003e\n  \u003cli\u003e\n      \u003ca href=\"https://en.wikipedia.org/wiki/Liskov_substitution_principle\"\u003e\n          \"Liskov substitution principle\"\n      \u003c/a\u003e\n      B. Liskov (1987)\n  \u003c/li\u003e\n  \u003cli\u003e\n      \u003ca href=\"http://www.cs.utexas.edu/~wcook/papers/FBound89/CookFBound89.pdf\"\u003e\n          \"F-Bounded Polymorphism for Object-Oriented Programming\"\n      \u003c/a\u003e\n      P. Canning, W. Cook, W. Hill, W. Olthoff et J. C. Mitchell\n  \u003c/li\u003e\n  \u003cli\u003e\n      \u003ca href=\"http://www.cs.utexas.edu/~wcook/papers/InheritanceSubtyping90/CookPOPL90.pdf\"\u003e\n          \"Inheritance is not Subtyping\"\n      \u003c/a\u003e\n      W. Cook, W. Hill et P. Canning (1990)\n  \u003c/li\u003e\n  \u003cli\u003e\n      \u003ca href=\"https://link.springer.com/book/10.1007/978-1-4419-8598-9\"\u003e\n          \"A Theory of Objects\"\u003c/a\u003e M. Abadi et L. Cardelli (1996)\n  \u003c/li\u003e\n\u003c/ul\u003e\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fd-plaindoux%2Fself-type","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fd-plaindoux%2Fself-type","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fd-plaindoux%2Fself-type/lists"}