5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2014
Coproducts of Monads on Set
Jiří Adámek, Nathan Bowler, Paul B. Levy +1
Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra f…
cs.PL2014★ 5 cited
Proceedings 5th Workshop on Mathematically Structured Functional Programming
Paul Levy, Neel Krishnaswami
This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a…
cs.LO2012
Proceedings Fourth Workshop on Mathematically Structured Functional Programming
James Chapman, Paul Blain Levy
This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as…