Modular Denotational Semantics for Compiler Construction

Sheng Liang, Paul Hudak. Modular Denotational Semantics for Compiler Construction. In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Volume 1058 of Lecture Notes in Computer Science, pages 219-234, Springer, 1996.

Abstract

Abstract is missing.