@inproceedings{Ho_AKMTN_18, address = {Oxford}, author = {Ho, Son and Abrahamsson, Oskar and Kumar, Ramana and Myreen, Magnus and Tan, Yong Kiam and Norrish, Michael}, booktitle = {International Joint Conference on Automated Reasoning}, date = {2018-7-14}, doi = {https://doi.org/10.1007/978-3-319-94205-6\_42}, editor = {{Didier Galmiche and Stephan Schulz and Roberto Sebastiani}}, month = jul, pages = {646-662}, paperurl = {https://trustworthy.systems/publications/full_text/Ho_AKMTN_18.pdf}, publisher = {Springer}, title = {Proof-Producing Synthesis of {CakeML} with {I}/{O} and Local State from Monadic {HOL} Functions}, year = {2018} }