» tagged pages
» logout

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.

Haskell: del.icio.us tag/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).

Haskell: del.icio.us tag/haskell