Not registered as user yet

Name: Spenser Andrew Bauman

Affiliation: Indiana University, USA

Contributions

SPLASH 2017Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track