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 2014-09-27 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