Monad Transformers and Modular Interpreters.

Sheng Liang, Paul Hudak, Mark P. Jones

Browse the full POPL paper archive.