CakeML: a verified implementation of ML

By Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens. ACM-SIGACT Symposium on Principles of Programming Languages, 2014

428 citations recorded by the source corpus.