TY  - RPRT
TI  - Space-Efficient Gradual Typing in Coercion-Passing Style
AU  - Yuya Tsuda
AU  - Atsushi Igarashi
AU  - Tomoya Tabuchi
PY  - 2020
DO  - 10.4230/lipics.ecoop.2020.8
UR  - https://arxiv.org/abs/1908.02414
ID  - 1908.02414
ER  -