POPL 2017
Sun 15 - Sat 21 January 2017
Ian Voysey

Registered user since Mon 5 Nov 2018

Name:Ian Voysey
Affiliation:Carnegie Mellon University

Contributions

POPL 2017 Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Off the Beaten Track 2017 Running Incomplete Programs
Show activities from other conferences

POPL 2017-profile
View general profile