Hellow guys, Welcome to my website, and you are watching [OOPSLA23] Simple Reference Immutability for System F-sub. and this vIdeo is uploaded by ACM SIGPLAN at 2024-02-13T20:28:20-08:00. We are pramote this video only for entertainment and educational perpose only. So, I hop you like our website.
| Name | [OOPSLA23] Simple Reference Immutability for System F-sub |
| Video Uploader | Video From ACM SIGPLAN |
| Upload Date | This Video Uploaded At 14-02-2024 04:28:20 |
| Video Discription | Simple Reference Immutability for System F-sub (Video, OOPSLA2 2023) Edward Lee and Ondřej Lhoták (University of Waterloo, Canada; University of Waterloo, Canada) Abstract: Reference immutability is a type based technique for taming mutation that has long been studied in the context of object-oriented languages, like Java. Recently, though, languages like Scala have blurred the lines between functional programming languages and object oriented programming languages. We explore how reference immutability interacts with features commonly found in these hybrid languages, in particular with higher-order functions – polymorphism – and subtyping. We construct a calculus System F Article: https://doi.org/10.1145/3622828 Supplementary archive: https://doi.org/10.1145/3580414 (Badges: Artifacts Available, Artifacts Evaluated — Functional) ORCID: https://orcid.org/0000-0001-7057-0912, https://orcid.org/0000-0001-9066-1889 Video Tags: System F-sub, Reference Immutability, Type Systems, oopslab23main-p249-p, doi:10.1145/3622828, doi:10.1145/3580414, orcid:0000-0001-7057-0912, orcid:0000-0001-9066-1889, Artifacts Available, Artifacts Evaluated — Functional Presentation at the OOPSLA2 2023 conference, October 22–27, 2023, https://2023.splashcon.org/track/splash-2023-oopsla Sponsored by ACM SIGPLAN |
| Category | Science & Technology |
| Tags | Artifacts Available | Artifacts Evaluated — Functional | Reference Immutability | System F-sub | Type Systems | doi:10.1145/3580414 | doi:10.1145/3622828 | oopslab23main-p249-p | orcid:0000-0001-7057-0912 | orcid:0000-0001-9066-1889 |
