@misc{indiciaed0fd0a23ad2a,
  title = {Beginner's Luck: A Language for Property-Based Generators},
  author = {Leonidas Lampropoulos and Diane Gallois-Wong and Catalin Hritcu and John Hughes and Benjamin C. Pierce and Li-yao Xia},
  year = {2019},
  url = {https://arxiv.org/abs/1607.05443},
  note = {Source identifier: 1607.05443}
}