Collaborated with:S.Bauman J.G.Siek S.Tobin-Hochstadt Edd Barrett Rebecca Killick Sarah Mount L.Tratt
Talks about:virtual (1) gradual (1) warmup (1) machin (1) sound (1) type (1) onli (1) most (1) dead (1) cold (1)
Person: Carl Friedrich Bolz-Tereick
DBLP: Bolz-Tereick:Carl_Friedrich
Contributed to:
2017Wrote 2 papers:
- OOPSLA-2017-BarrettBKMT #virtual machine
- Virtual machine warmup blows hot and cold (EB, CFBT, RK, SM, LT), p. 27.
- OOPSLA-2017-BaumanBST #type system
- Sound gradual typing: only mostly dead (SB, CFBT, JGS, STH), p. 24.