More on Advice on Structuring Compilers and Proving Them Correct

Deriving Target Code as a Representation of Continuation Semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)

Attribute coupled grammars

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Specification languages in algebraic compilers

Theoretical Computer Science - Special issue: Algebraic methodology and software technology

An Overview of Compositional Translations

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

The scheme 311 compiler an exercise in denotational semantics

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming