Monad transformers and modular interpreters (1995)

by S Liang, P Hudak, M P Jones
Venue:In POPL. ACM