Distributive interaction of algebraic effects

<p>While monadic effects are widespread in modern functional programming, the idea of formulating computational effects as algebraic theories seems a less familiar one to programmers. One appealing feature of such algebraic effects is the clear decoupling between specification and implementati...

Full description

Bibliographic Details
Main Author: Cheung, KH
Other Authors: Gibbons, J
Format: Thesis
Published: 2017