BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2016
paper-conference
Stage
published
Year 2016
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar