Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
ICFP 2016 (series) / Research Papers /

String Diagrams for Free Monads (Functional Pearl)

Maciej Piróg, Nicolas Wu
ICFP 2016 Research Papers
Wed 21 Sep 2016 17:15 - 17:40 at Noh Theater - Session 12 Chair(s): Jeremy Gibbons

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.

https://doi.org/10.1145/2951913.2951947
Maciej Piróg
Maciej Piróg
KU Leuven, Belgium
Nicolas Wu
Nicolas Wu
University of Bristol, UK
United Kingdom

Wed 21 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

16:50 - 17:40
Session 12Research Papers at Noh Theater
Chair(s): Jeremy Gibbons University of Oxford, UK
16:50
25m
Talk
Combining Effects and Coeffects via Grading
Research Papers
Marco Gaboardi SUNY Buffalo, USA, Shin-ya Katsumata Kyoto University, Japan, Dominic Orchard University of Cambridge, UK, Flavien Breuvart Inria, France, Tarmo Uustalu Tallinn University of Technology, Estonia
DOI
17:15
25m
Talk
String Diagrams for Free Monads (Functional Pearl)
Research Papers
Maciej Piróg KU Leuven, Belgium, Nicolas Wu University of Bristol, UK
DOI