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.