author-photo

Timothée Haudebourg

French Institute for Research in Computer Science and Automation

7

Papers

5

Citations

Citation Trend

Filter By

Papers (7) Sort By

Journal Conference Others

Automatic verification of higher-order functional programs using regular tree languages

2020
- Timothée Haudebourg
Show All
- Source
- Cite
- Save
Citations (2)
Timbuk 4: Regular Language Type Inference with Term Rewriting

2020
Show All
- Source
- Cite
- Save
Citations (0)
Vérifier des fonctions d'ordre supérieur à l'aide d'automates d'arbre

2018
Show All
- Source
- Cite
- Save
Citations (0)
Verifying Higher-Order Functions with Tree Automata

2018 FoSSaCS | Foundations of Software Science and Computation Structure
Show All
- Source
- Cite
- Save
Citations (1)
Extending Timbuk to Verify Functional Programs

2018 WRLA | Workshop on Rewriting Logic and Its Applications
Show All
- Source
- Cite
- Save
Citations (1)
Verifying Higher-Order Functional Programs with Tree Automata

2017
Show All
- Source
- Cite
- Save
Citations (1)
Verifying Higher-Order Functions with Tree Automata: Extended Version

2017
Show All
- Source
- Cite
- Save
Citations (0)