CakeML Publications

This page contains a selection of academic papers describing development and use of CakeML.

The list below is displayed using bibtex-js.