CakeML compiler

[Google Scholar]

Notes:
Papers:

Verified compilers

  • Verified compilation of CakeML to multiple machine-code targets [fox:cpp:2017]
  • A new verified compiler backend for CakeML [tan:icfp:2016]