TY  - RPRT
TI  - Beginner's Luck: A Language for Property-Based Generators
AU  - Leonidas Lampropoulos
AU  - Diane Gallois-Wong
AU  - Catalin Hritcu
AU  - John Hughes
AU  - Benjamin C. Pierce
AU  - Li-yao Xia
PY  - 2019
UR  - https://arxiv.org/abs/1607.05443
ID  - 1607.05443
ER  -