Containers for effects and contexts
- Lecture slides:
- Some background reading:
- D. Ahman, T. Uustalu. Update
monads: cointerpreting directed containers. In TYPES 2013, LIPIcs,
v. 26, 2014.
- M. Abbott, T. Altenkirch, N. Ghani.
constructing strictly positive types. TCS, v. 342, n. 1,
- D. Ahman, J. Chapman,
T. Uustalu. When is a container a
comonad? LMCS, v. 10, n. 3, 2014.
- D. Ahman, T. Uustalu. Distributive laws of directed containers.
Progress in Inform., v. 10, 2013.
- More background: Check the literature on polynomial functors.
Last update 7 July 2015