
Registered user since Fri 22 Jan 2016
Name: Thomas Gilray
Affiliation: University of Maryland
Personal website: https://thomas.gilray.org
Contributions
PLDI 2019 | Author of Size-Change Termination as a Contract within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2019-profile
View general profile
View general profile