Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Gabriel Scherer
Gabriel Scherer

Registered user since Mon 23 Mar 2015

Name: Gabriel Scherer

Country: France

Affiliation: INRIA Saclay

Personal website: http://gallium.inria.fr/~scherer/

Contributions

ML 2020Author of Translation validation of a pattern-matching compiler within the ML 2020-track
Author of Quantified Applicatives – API design for type-inference constraints within the ML 2020-track
Show activities from other conferences

ICFP 2020-profile
View general profile