Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars LFCS seminar: Matija Pretnar: Bringing equations back to algebraic effect handlers

LFCS seminar: Matija Pretnar: Bringing equations back to algebraic effect handlers

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
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č)

 
 
Document Actions