Registered user since Thu 18 Dec 2014
Name: Sam Tobin-Hochstadt
Bio: I am an Assistant Professor in the Department of Computer Science at Indiana University.
Affiliation: Indiana University
Personal website: http://samth.github.io
Research interests: Programming Languages
|POPL 2021||Author of Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification within the Research Papers-track|
|Show activities from other conferences|