A new verified compiler backend for CakeML.

Yong Kiam Tan Magnus O. Myreen Ramana Kumar Anthony C. J. Fox Scott Owens Michael Norrish

Published in: ICFP (2016)

Keyphrases

back end
user friendly
data management
programming language
building blocks
distributed memory machines
version control
data types
general purpose
data repositories
database
software systems
publish subscribe
high level
nearest neighbor
database systems
databases