Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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.

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