POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Thomas Gilray
Thomas Gilray

Registered user since Fri 22 Jan 2016

Name:Thomas Gilray
Affiliation:University of Maryland
Personal website:https://thomas.gilray.org

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