Title: String diagrams for free monads (functional pearl)
Authors: PirĂ³g, Maciej
Wu, Nicolas #
Issue Date: 2016
Conference: ACM SIGPLAN International Conference on Functional Programming. edition:21 location:Nara, Japan date:18-24 September 2016
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.
Publication status: accepted
KU Leuven publication type: IC
Appears in Collections:Non-KU Leuven Association publications
# (joint) last author

Files in This Item:
File Description Status SizeFormat
free-strings.pdf Accepted 229KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.