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
2021
DLS
PC Member in Program Committee within the DLS 2021-track
2019
DLS
Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track
2015
ESOP
Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
Share
x
Sun 22 Dec 02:52