Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's luck: a language for property-based generators
POPL, 2017.
@inproceedings{POPL-2017-LampropoulosGHH,
author = "Leonidas Lampropoulos and Diane Gallois-Wong and Catalin Hritcu and John Hughes and Benjamin C. Pierce and Li-yao Xia",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "114--129",
publisher = "{ACM}",
title = "{Beginner's luck: a language for property-based generators}",
year = 2017,
}
Tags:
