Representing monads. Pages 446–457 of (1994)

by Andrzej Filinski
Venue:Conference Record of the ACM SIGPLAN-SIGACT Symposium on the Principles of Programming Languages