Modular Denotational Semantics for Compiler Construction.

Sheng Liang, Paul Hudak

Browse the full ESOP paper archive.