POPL 2017
Sun 15 - Sat 21 January 2017
James McKinna

Registered user since Mon 4 Apr 2016

Name: James McKinna

Affiliation: University of Edinburgh

Personal website: http://www.inf.ed.ac.uk/people/staff/James_McKinna.html

Contributions

CPP 2017 Type-and-scope safe programs and their proofs
Show activities from other conferences

POPL 2017-profile
View general profile