The verified CakeML compiler backend
The verified CakeML compiler backend is a scholarly work, published in 2019 in ''Journal of Functional Programming''. The main subjects of the publication include Compiler correctness, just-in-time compilation, programming language, optimizing compiler, compiler, interprocedural optimization, dead code elimination, code generation, computer science, program analysis, formal methods, and parallel computing. The authors present the overall design of the compiler backend, including its 12 intermediate languages.