String diagrams for free monads (functional pearl)

Maciej Pirog, Nicolas Wu

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 2016 → 21 Sep 2016

Conference

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

Keywords

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

Access to Document

  • Full-text PDF (accepted author manuscript)

    This is the author accepted manuscript (AAM). The final published version (version of record) is available online via ACM at http://dl.acm.org/citation.cfm?id=2951947. Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 229 KB

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

    Cite this