by Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes and Benjamin C. Pierce
Reference:
Beginner's Luck: A Language for Random Generators (Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes and Benjamin C. Pierce), In 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), ACM, 2017.
Bibtex Entry:
@inproceedings{beginners-luck,
author = {Leonidas Lampropoulos and
Diane Gallois-Wong and
Catalin Hritcu and
John Hughes and
Benjamin C. Pierce and
{Li-yao} Xia},
title = {Beginner's {Luck}: A Language for Random Generators},
booktitle = {44th ACM SIGPLAN Symposium on Principles of Programming
Languages (POPL)},
shortbooktitle = {POPL},
year = {2017},
month = jan,
url = {https://arxiv.org/abs/1607.05443},
ee = {https://dl.acm.org/citation.cfm?id=3009868},
doi = {10.1145/3009837.3009868},
pages = {114-129},
publisher = {ACM},
acceptance = {64/279=0.23},
}