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...

Full description

Bibliographic Details
Main Author: Cheung, Kwok-Ho
Other Authors: Gibbons, Jeremy ; Abou-Saleh, Faris
Published: University of Oxford 2017
Online Access:https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748792