Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
Verifying efficient function calls in CakeML
ICFP, 2017.
@article{ICFP-2017-OwensNKMT,
author = "Scott Owens and Michael Norrish and Ramana Kumar and Magnus O. Myreen and Yong Kiam Tan",
doi = "10.1145/3110262",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "27",
title = "{Verifying efficient function calls in CakeML}",
volume = 1,
year = 2017,
}