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

Browse archivesActive forum topics 
Recent comments
2 days 11 hours ago
3 days 11 hours ago
3 days 12 hours ago
3 days 13 hours ago
4 days 18 hours ago
4 days 19 hours ago
5 days 14 hours ago
5 days 15 hours ago
5 days 16 hours ago
6 days 7 hours ago