Monads, effects, and transformations (0)

by Nick Benton, Andrew Kennedy
Venue:In Third International Workshop on Higher-Order Operational Techniques in Semantics