ICFP 2021 (series) / ML 2021 (series) / ML 2021 /
Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
Effect handler oriented programming (EHOP) is a paradigm in which programs are syntax whose semantics are compartmentalised into a collection of effect handlers. The separation of syntax and semantics provides a modular basis for building software, where programs can be retrofitted with more functionality in a backwards compatible way. My talk proposal is about demonstrating EHOP in practice by implementing a tiny UNIX-style operating system.
Researcher at The University of Edinburgh, Scotland, UK
Thu 26 AugDisplayed time zone: Seoul change
Thu 26 Aug
Displayed time zone: Seoul change
18:00 - 19:30 | |||
18:00 30mTalk | Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming ML Daniel Hillerström The University of Edinburgh Pre-print Media Attached | ||
18:30 30mTalk | Cameleer: a Deductive Verification Tool for OCaml ML Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS File Attached | ||
19:00 30mTalk | Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques ML Vasileios Koutavas Trinity College Dublin, Yu-Yang Lin Trinity College Dublin, Nikos Tzevelekos Queen Mary University of London File Attached |