String diagrams for free monads (functional pearl)

Maciej Piróg, Nicolas Wu
2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016  
General rights This document is made available in accordance with publisher policies. Please cite only the published version using the reference above. Full terms of use are available: Abstract We show how one can reason about free monads using their universal properties rather than any concrete implementation. We introduce a graphical, two-dimensional calculus tailor-made to accommodate these properties.
doi:10.1145/2951913.2951947 dblp:conf/icfp/PirogW16 fatcat:mces5ufbjfdadarzmqx7fmyyka