Travelled to:1 × United Kingdom
Collaborated with:J.G.Siek C.Swords M.Cimini S.Tobin-Hochstadt R.Garcia
Talks about:type (3) gradual (2) collabor (1) monoton (1) system (1) runtim (1) effici (1) world (1) sound (1) refer (1)
Person: Michael M. Vitousek
DBLP: Vitousek:Michael_M=
Contributed to:
2015
2017Wrote 2 papers:
- ESOP-2015-SiekVCTG #performance #type system
- Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
- POPL-2017-VitousekSS #collaboration #runtime #type system
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems (MMV, CS, JGS), pp. 762–774.