User loginNavigation 
Inferring algebraic effectsLogical methods in computer science just published Matija Pretnar's latest take on algebraic effects and handlers:
Pretnar and Bauer's Eff has made previous appearances here on LtU. Apart from the new fangled polymorphic effect system, this paper also contains an Eff tutorial. By Ohad Kammar at 20140927 23:16  Functional  Implementation  Paradigms  Semantics  Theory  other blogs  13676 reads

Browse archivesActive forum topics 
Recent comments
5 min 13 sec ago
14 min 35 sec ago
19 min 32 sec ago
7 hours 34 min ago
7 hours 50 min ago
12 hours 31 min ago
15 hours 6 min ago
21 hours 17 min ago
1 day 3 hours ago
1 day 5 hours ago