Thomas P. Jensen - ICFP 2020

Thu 20 - Fri 28 August 2020

Registered user since Mon 24 Sep 2018

Name: Thomas P. Jensen

Affiliation: INRIA Rennes

Personal website: http://www.irisa.fr/celtique/jensen/

Contributions

ICFP 2020	Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track Author of Regular Language Type Inference with Term Rewriting within the ICFP Program-track
Show activities from other conferences