Space-Efficient Gradual Typing in Coercion-Passing Style. - Yuya Tsuda; Atsushi Igarashi; Tomoya Tabuchi (ECOOP, 2020)