LFCS Seminar: Friday, 23 June - Filip Sieczkowski Title: A fine-grained reduction theory for effect handlers Abstract: 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 14.10 - 15.00 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
LFCS Seminar: Friday, 23 June - Filip Sieczkowski Title: A fine-grained reduction theory for effect handlers Abstract: 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 14.10 - 15.00 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
Jun 23 2023 14.10 - 15.00 LFCS Seminar: Friday, 23 June - Filip Sieczkowski Filip Sieczkowski, Heriot-Watt University https://researchportal.hw.ac.uk/en/persons/filip-sieczkowski/similar/