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

Browse archives
Active forum topics 
Recent comments
3 days 21 hours ago
6 days 19 hours ago
1 week 12 hours ago
1 week 22 hours ago
3 weeks 3 days ago
3 weeks 4 days ago
4 weeks 1 day ago
4 weeks 2 days ago
4 weeks 3 days ago
4 weeks 4 days ago