%0 Conference Paper %1 conf/cade/HoAKMTN18 %A Ho, Son %A Abrahamsson, Oskar %A Kumar, Ramana %A Myreen, Magnus O. %A Tan, Yong Kiam %A Norrish, Michael %B IJCAR %D 2018 %E Galmiche, Didier %E Schulz, Stephan %E Sebastiani, Roberto %I Springer %K dblp %P 646-662 %T Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#HoAKMTN18 %V 10900 %@ 978-3-319-94205-6

@inproceedings{conf/cade/HoAKMTN18, added-at = {2023-06-26T00:00:00.000+0200}, author = {Ho, Son and Abrahamsson, Oskar and Kumar, Ramana and Myreen, Magnus O. and Tan, Yong Kiam and Norrish, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c39455615eb6058d020b4a77864f2f1d/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2018}, editor = {Galmiche, Didier and Schulz, Stephan and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-319-94205-6_42}, interhash = {c8bd0e5516101d5b098ffdcbe3d27f0e}, intrahash = {c39455615eb6058d020b4a77864f2f1d}, isbn = {978-3-319-94205-6}, keywords = {dblp}, pages = {646-662}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#HoAKMTN18}, volume = 10900, year = 2018 }