Monad transformersand modular interpreters (1995)

by S Liang, P Hudak, M Jones
Venue:In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages. ACMPress