Introducing Certified Compilation in Education by a Functional Language Approach

Per Lindgren, Marcus Lindner, Nils Fitinghoff

Classes on compiler technology are commonly found in Computer Science curricula, covering aspects of parsing, semantic analysis, intermediate transformations and target code genera…