sorted by: recent | see :
popular
Content Tagged with category + compsci
Graham Hutton: Publications
<sep/>operational semantics makes it ideal for implementation in a functional programming language such as Haskell.
Composing monads using coproducts
General (nearly all monads compose), mathematically elegant (use the standard categorical tools underpinning monads) and computationally expressive (support a canonical recursion operator).