Representing layered monads. Pages 175–188 of (1999)

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