Assessing the type annotation burden. - John-Paul Ore; Sebastian G. Elbaum; Carrick Detweiler; Lambros Karkazis (ASE, 2018)