Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble. Grace: the absence of (inessential) difficulty. In Gary T. Leavens, Jonathan Edwards, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012. pages 85-98, ACM, 2012. [doi]
@inproceedings{BlackBHN12,
title = {Grace: the absence of (inessential) difficulty},
author = {Andrew P. Black and Kim B. Bruce and Michael Homer and James Noble},
year = {2012},
doi = {10.1145/2384592.2384601},
url = {http://doi.acm.org/10.1145/2384592.2384601},
researchr = {https://researchr.org/publication/BlackBHN12},
cites = {0},
citedby = {0},
pages = {85-98},
booktitle = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012},
editor = {Gary T. Leavens and Jonathan Edwards},
publisher = {ACM},
isbn = {978-1-4503-1562-3},
}