Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens
CakeML: a verified implementation of ML
POPL, 2014.
@inproceedings{POPL-2014-KumarMNO,
author = "Ramana Kumar and Magnus O. Myreen and Michael Norrish and Scott Owens",
booktitle = "{Proceedings of the 41st Symposium on Principles of Programming Languages}",
doi = "10.1145/2535838.2535841",
editor = "Suresh Jagannathan and Peter Sewell",
isbn = "978-1-4503-2544-8",
pages = "179--192",
publisher = "{ACM}",
title = "{CakeML: a verified implementation of ML}",
year = 2014,
}
Tags: