Not registered as user yet

Name: Antoine Voizard

Affiliation: University of Pennsylvania, USA

ICFP 2017 Activities

• Author of A Specification for Dependent Types in Haskell within the Research Papers-track in ICFP 2017
• Show activities from other conferences