%0 Conference Paper %1 conf/popl/LampropoulosGHH17 %A Lampropoulos, Leonidas %A Gallois-Wong, Diane %A Hritcu, Catalin %A Hughes, John %A Pierce, Benjamin C. %A yao Xia, Li %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 114-129 %T Beginner's luck: a language for property-based generators. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#LampropoulosGHH17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/LampropoulosGHH17, added-at = {2023-11-12T00:00:00.000+0100}, author = {Lampropoulos, Leonidas and Gallois-Wong, Diane and Hritcu, Catalin and Hughes, John and Pierce, Benjamin C. and yao Xia, Li}, biburl = {https://www.bibsonomy.org/bibtex/2683f81a4464cc1dbf8f538d20aa77352/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://doi.org/10.1145/3093333.3009868}, interhash = {861bab2bda02e6f9b38fb1792bd95ed3}, intrahash = {683f81a4464cc1dbf8f538d20aa77352}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {114-129}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {Beginner's luck: a language for property-based generators.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#LampropoulosGHH17}, year = 2017 }