%0 Journal Article %1 journals/jar/AbrahamssonHKKM20 %A Abrahamsson, Oskar %A Ho, Son %A Kanabar, Hrutvik %A Kumar, Ramana %A Myreen, Magnus O. %A Norrish, Michael %A Tan, Yong Kiam %D 2020 %J J. Autom. Reason. %K dblp %N 7 %P 1287-1306 %T Proof-Producing Synthesis of CakeML from Monadic HOL Functions. %U http://dblp.uni-trier.de/db/journals/jar/jar64.html#AbrahamssonHKKM20 %V 64

@article{journals/jar/AbrahamssonHKKM20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Abrahamsson, Oskar and Ho, Son and Kanabar, Hrutvik and Kumar, Ramana and Myreen, Magnus O. and Norrish, Michael and Tan, Yong Kiam}, biburl = {https://www.bibsonomy.org/bibtex/20e8de4ac821f336badbf04fd38f75ac9/dblp}, ee = {https://doi.org/10.1007/s10817-020-09559-8}, interhash = {c77954a7baa9496eb939612d1f7dd105}, intrahash = {0e8de4ac821f336badbf04fd38f75ac9}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 7, pages = {1287-1306}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Proof-Producing Synthesis of CakeML from Monadic HOL Functions.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar64.html#AbrahamssonHKKM20}, volume = 64, year = 2020 }