Registered user since Sat 12 Jul 2014

Name: Andreas Abel

Affiliation: University of Gothenburg, Sweden

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