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 | 14060 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 1 day ago
4 weeks 2 days ago
13 weeks 4 days ago
13 weeks 6 days ago
14 weeks 19 hours ago
21 weeks 17 hours ago
26 weeks 5 days ago
26 weeks 6 days ago
27 weeks 5 days ago
30 weeks 4 days ago