Monad Transformers and Modular Interpreters (1995)

by S Liang, P Hudak, M P Jones
Venue:In Proceedings of POPL’95