Not registered as user yet

Name: Ian Voysey

Affiliation: Carnegie Mellon University

POPL 2017 Activities

• Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track in POPL 2017
• Author of Running Incomplete Programs within the OBT-track in Off the Beaten Track 2017
• Show activities from other conferences