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 |