CakeML: a verified implementation of ML.

Ramana Kumar Magnus O. Myreen Michael Norrish Scott Owens

Published in: POPL (2014)

Keyphrases

maximum likelihood
data sets
website
trade off
three dimensional
face recognition
cooperative
general purpose
efficient implementation
parallel implementation
implementation details