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  13464 reads

Browse archives
Active forum topics 
Recent comments
11 hours 47 min ago
23 hours 43 min ago
2 days 4 hours ago
2 days 8 hours ago
2 days 8 hours ago
4 days 5 hours ago
4 days 7 hours ago
4 days 8 hours ago
4 days 13 hours ago
4 days 15 hours ago