Thomas P. Jensen - ICFP 2020

Sun 23 - 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 Research Papers-track Author of Regular Language Type Inference with Term Rewriting within the Research Papers-track
Show activities from other conferences

Using general profile