Request a copy of the file
Enter the following information to request a copy for the following item: Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions
Requesting the following file: 978-3-319-94205-6_42.pdf
In order to request a copy of the file, you must accept the Request a copy (Google reCaptcha) cookies.