Michael M. Vitousek -

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