Publications : Diane Gallois-WongBack
|||Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, and Li yao Xia. Beginner's luck: a language for property-based generators. In Giuseppe Castagna and Andrew D. Gordon, editors, Symposium on Principles of Programming Languages, pages 114--129. ACM Press, 2017. [ bib ]|
This page was generated by bibtex2html.