Representing Monads (1994)

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