Sam Tobin-Hochstadt - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Registered user since Thu 18 Dec 2014

Name:Sam Tobin-Hochstadt

Affiliation:Indiana University

Contributions

2016

PLDI

Occurrence Typing Modulo Theories

Show activities from other conferences

PLDI 2016-profile
View general profile