David Van Horn

Registered user since Wed 31 Dec 2014

Name:David Van Horn
Affiliation:University of Maryland
Research interests:Programming languages

Contributions

POPL 2018 Soft Contract Verification for Higher-order Stateful Programs
Soft Contract Verification for Higher-order Stateful Programs
Show activities from other conferences

POPL 2018-profile
View general profile