The verified CakeML compiler backend.

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

Published in: J. Funct. Program. (2019)

Keyphrases

back end
user friendly
building blocks
data management
data types
general purpose
programming language
version control
database systems
data repositories
publish subscribe
data sets
database management systems
software systems