Registered user since Wed 7 Mar 2018

Name: Theo Winterhalter

Affiliation: ENS Paris-Saclay, France

ICFP 2017 Activities

• Author of Normalization by Evaluation for Sized Dependent Types within the Research Papers-track in ICFP 2017
• Show activities from other conferences