Benoît Montagu -

Registered user since Wed 17 Jun 2020

Name: Benoît Montagu

Country: France

Affiliation: Inria

Personal website: http://people.irisa.fr/Benoit.Montagu/

Contributions

NSAD 2020	Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track Committee Member in Program Committee within the NSAD-track
ICFP 2020	Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track