String diagrams for free monads (functional pearl)
From MaRDI portal
Publication:2985797
DOI10.1145/2951913.2951947zbMath1361.68047OpenAlexW2509193713MaRDI QIDQ2985797
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://research-information.bris.ac.uk/en/publications/9faeaedc-6edf-4946-b42c-4ad3aa0c8862
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication: String diagrams for free monads (functional pearl)