LFCS seminar: Matija Pretnar: Bringing equations back to algebraic effect handlers
—
filed under:
LFCS Seminar,
Upcoming events
What 


When 
Jul 02, 2019 from 04:00 PM to 05:00 PM 
Where  IF 4.31/4.33 
Add event to calendar 
vCal iCal 
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č)