Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.

David R. Lester, Sava Mintchev

Browse the full CSL paper archive.