Registered user since Thu 5 Mar 2015

Name: Benjamin Cosman

Affiliation: University of California at San Diego, USA

ICFP 2017 Activities

• Author of Local Refinement Typing within the Research Papers-track in ICFP 2017
• Show activities from other conferences