A Realistic Compiler Generator Based on High-Level Semantics.

Peter Lee, Uwe F. Pleban

Browse the full POPL paper archive.