Beginner's Luck: A Language for Random Generators (bibtex)

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},
}