Modular Monadic Semantics 41 (1992)

by Matthias Felleisen, Robert Hieb