Monads, effects and transformations (1999)

by Nick Benton, Andrew Kennedy
Venue:Electronic Notes in Theoretical Computer Science