Modular Monadi Semantics and Compilation (1998)

by Sheng Liang