Verified compilation of CakeML to multiple machine-code targets.

Anthony C. J. Fox Magnus O. Myreen Yong Kiam Tan Ramana Kumar

Published in: CPP (2017)

Keyphrases

data sets
real world
real time
artificial intelligence
feature selection
website
case study
search algorithm
relational databases
data fusion
multiple sources
combining multiple
multiple targets