Monad transformenrs and modular interpreters (1995)

by Sheng Liang, Paul Hudak, Mark Jones
Venue:In Conference Record of POPL '95