Representing monads. (1994)

by A Filinski
Venue:Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages,