Distributive interaction of algebraic effects
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 implementation (or in...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Oxford
2017
|
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748792 |