Beginner's Luck: A Language for Random Generators (bibtex)
by Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Reference:
Beginner's Luck: A Language for Random Generators (Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia), 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},
  pages = {114-129},
  publisher = {ACM},
  acceptance = {64/279=0.23},
}
Powered by bibtexbrowser