20/08/2020

Local algebraic effect theories

Žiga Lukšič, Matija Pretnar

Keywords:

Abstract Paper Similar Papers

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. We present an alternative approach where the type system tracks equations that are observed in subparts of the program, yielding a sound and flexible logic, and paving a way for practical optimisations and reasoning tools.

 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at ICFP 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 21:13 
 0
 0
 0
 0
 15:09 
 0
 0
 0
 0
 5:01 
 0
 0
 0
 0
 25:07 
 0
 0
 0
 0
 14:34 
 0
 0
 0
 0
 21:03 
 0
 0
 0
 0
 16:16 
 0
 0
 0
 0
 21:09 
 0
 0
 0
 0
 18:38 
 0
 0
 0
 0
 9:57 
 0
 0
 0
 0
 14:20 
 0
 0
 0
 0
 14:36 
 0
 0
 0
 0
 16:06 
 0
 0
 0
 0
 8:35 
 0
 0
 0
 0
 12:32 
 0
 0
 0
 0
 5:04 
 0
 0
 0
 0
 15:07 
 0
 0
 0
 0
 14:47 
 0
 0
 0
 0
 16:39 
 1
 0
 0
 1
 14:32 
 0
 0
 0
 1
 3:28 
 0
 0
 0
 0
 7:18 
 0
 0
 0
 0
 8:40 
 0
 0
 0
 0
 3:18 
 0
 0
 0
 0
 5:28 
 0
 0
 0
 0
 16:56 
 0
 0
 0
 0
 7:33 
 0
 0
 0
 0
 2:40 
 0
 0
 0
 0
 13:21 
 0
 0
 0
 0
 21:21 
 0
 0
 0
 0
 2:56 
 0
 0
 0
 0
 0:50 
 0
 0
 0
 0
 16:37 
 0
 0
 0
 0
 4:14 
 0
 0
 0
 0
 18:47 
 0
 0
 0
 0
 3:54 
 0
 0
 0
 0
 20:50 
 0
 0
 0
 0
 25:54 
 0
 0
 0
 0
 18:02 
 0
 0
 0
 0
 14:20