Wiki Agenda Contact Version française

Publications : Diane Gallois-Wong

[2] 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 ]
[1] 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.