Publications : Diane Gallois-WongBack
|||Diane Gallois-Wong, Sylvie Boldo, and Thibault Hilaire. A Coq formalization of digital filters. working paper or preprint, March 2018. [ bib | full text on HAL ]|
|||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.