Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions
Crossref DOI link: https://doi.org/10.1007/978-3-319-94205-6_42
Published Online: 2018-06-30
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ho, Son
Abrahamsson, Oskar
Kumar, Ramana
Myreen, Magnus O.
Tan, Yong Kiam
Norrish, Michael
License valid from 2018-01-01