LFCS Seminar: Friday, 23 June - Filip Sieczkowski


Title: A fine-grained reduction theory for effect handlers



Effect handlers are a modern approach to structuring computational effects in functional programming languages. Several approaches to their operational semantics have been developed, as part of experimental programming languages. However, these are not ideal as general reduction theories. In this talk, I will motivate and introduce such a reduction theory, and show how to establish its desirable properties. I will also demonstrate its relation to traditional operational semantics, as well as some applications.



Jun 23 2023 -

LFCS Seminar: Friday, 23 June - Filip Sieczkowski

Filip Sieczkowski, Heriot-Watt University https://researchportal.hw.ac.uk/en/persons/filip-sieczkowski/similar/

Venue: TBD
Note unusual day and time.
Remote participation:
URL: https://ed-ac-uk.zoom.us/j/86405519463
Password: W7FknFza