@inproceedings{OConnor_CRALMNSK_16, month = sep, keywords = {verification; semantics; linear types; programming languages; file systems; isabelle/hol}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/9425.pdf}, booktitle = {International Conference on Functional Programming}, author = {O'Connor, Liam and Chen, Zilin and Rizkallah, Christine and Amani, Sidney and Lim, Japheth and Murray, Toby and Nagashima, Yutaka and Sewell, Thomas and Klein, Gerwin}, year = {2016}, title = {Refinement Through Restraint: Bringing Down the Cost of Verification}, address = {Nara, Japan} }