Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell. Lem: reusable engineering of real-world semantics. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 175-188, ACM, 2014. [doi]
@inproceedings{MulliganOGRS14,
title = {Lem: reusable engineering of real-world semantics},
author = {Dominic P. Mulligan and Scott Owens and Kathryn E. Gray and Tom Ridge and Peter Sewell},
year = {2014},
doi = {10.1145/2628136.2628143},
url = {http://doi.acm.org/10.1145/2628136.2628143},
researchr = {https://researchr.org/publication/MulliganOGRS14},
cites = {0},
citedby = {0},
pages = {175-188},
booktitle = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014},
editor = {Johan Jeuring and Manuel M. T. Chakravarty},
publisher = {ACM},
isbn = {978-1-4503-2873-9},
}