conf.researchr.org / Timothée Haudebourg
Not registered as user yet
Name: Timothée Haudebourg
Affiliation: Univ Rennes, Inria, CNRS, IRISA
Contributions
ICFP 2020 | Author of Regular Language Type Inference with Term Rewriting within the ICFP Program-track |