A new verified compiler backend for CakeML release_hvqujr36nnaebpprqbiu2j2r7m

by Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony Fox, Scott Owens, Michael Norrish

Published in ACM SIGPLAN International Conference on Functional Programming by ACM Press.

2016   p60-73

Archived Files and Locations

application/pdf  317.9 kB
file_jq7blsvztzhazfawpxll33ogie
kar.kent.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2016
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4e310aa0-4397-44c9-b66f-7c3030c11197
API URL: JSON