5 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.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…