Publications

2020

2018

Talks

2018

  • Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions, IJCAR 2018. Slides.