David Van Horn - PLDI 2015

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

Registered user since Wed 31 Dec 2014

Name:David Van Horn

Affiliation:University of Maryland, College Park

Personal website: https://www.cs.umd.edu/~dvanhorn/

Research interests:Programming languages

Contributions

2015

PLDI

Relatively Complete Counterexamples for Higher-Order Programs

Show activities from other conferences

PLDI 2015-profile
View general profile