Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Thomas P. Jensen
Thomas P. Jensen

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 Stable Relations and Abstract Interpretation of Higher-Order Programs
Regular Language Type Inference with Term Rewriting
Show activities from other conferences

ICFP 2020-profile
View general profile