String diagrams for free monads (functional pearl)

Maciej Pirog, Nicolas Wu

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

675 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages490-501
Number of pages12
ISBN (Print)9781450342193
DOIs
Publication statusPublished - 4 Sep 2016
Event21st ACM SIGPLAN International Conference on Functional - Nara, Japan
Duration: 18 Sep 201621 Sep 2016

Conference

Conference21st ACM SIGPLAN International Conference on Functional
CountryJapan
CityNara
Period18/09/1621/09/16

Keywords

  • monad
  • free monad
  • universal property
  • string diagram
  • distributive law

Fingerprint Dive into the research topics of 'String diagrams for free monads (functional pearl)'. Together they form a unique fingerprint.

Cite this