Representing monads (1994)

by A Filinski
Venue:In Proc. POPL’94