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 | 14861 reads
|
Browse archives
Active forum topics |
Recent comments
4 hours 29 min ago
40 weeks 1 day ago
40 weeks 2 days ago
40 weeks 2 days ago
1 year 10 weeks ago
1 year 14 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 23 weeks ago