Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
Refinement through restraint: bringing down the cost of verification
ICFP, 2016.
@inproceedings{ICFP-2016-OConnorCRALMNSK,
author = "Liam O'Connor and Zilin Chen and Christine Rizkallah and Sidney Amani and Japheth Lim and Toby C. Murray and Yutaka Nagashima and Thomas Sewell and Gerwin Klein",
booktitle = "{Proceedings of the 21st International Conference on Functional Programming}",
doi = "10.1145/2951913.2951940",
isbn = "978-1-4503-4219-3",
pages = "89--102",
publisher = "{ACM}",
title = "{Refinement through restraint: bringing down the cost of verification}",
year = 2016,
}