Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael M. Vitousek
conf.researchr.org general profile
ESOP 2015 profile
SPLASH 2019 profile
SPLASH 2021 profile
Registered user since Tue 18 May 2021
Name:
Michael M. Vitousek
Affiliation:
Facebook
Contributions
DLS 2021
PC Member in Program Committee within the DLS 2021-track
DLS 2019
Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track
ESOP 2015
Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
Share
x
Fri 20 May 02:54