Modular Denotational Semantics for Compiler Construction (1996)

by Sheng Liang, Paul Hudak
Venue:In European Symposium on Programming