Structured asynchrony with algebraic effects

Daan Leijen. Structured asynchrony with algebraic effects. In Sam Lindley, Brent A. Yorgey, editors, Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017. pages 16-29, ACM, 2017. [doi]

Abstract

Abstract is missing.