LFCS Seminar: 2 July 2019 - Matija Pretnar Title: Bringing equations back to algebraic effect handlers Abstract: Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory, sacrificing both reasoning power and safety. I will present an alternative approach where the effect system tracks equations that are observed in subparts of the program, yielding a sound and flexible logic, and paving a way for practical optimizations and reasoning tools. (Joint work with Žiga Lukšič) Jul 02 2019 16.00 - 17.00 LFCS Seminar: 2 July 2019 - Matija Pretnar Speaker: Matija Pretnar IF 4.31/4.33
LFCS Seminar: 2 July 2019 - Matija Pretnar Title: Bringing equations back to algebraic effect handlers Abstract: Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory, sacrificing both reasoning power and safety. I will present an alternative approach where the effect system tracks equations that are observed in subparts of the program, yielding a sound and flexible logic, and paving a way for practical optimizations and reasoning tools. (Joint work with Žiga Lukšič) Jul 02 2019 16.00 - 17.00 LFCS Seminar: 2 July 2019 - Matija Pretnar Speaker: Matija Pretnar IF 4.31/4.33
