TY - RPRT TI - Gradual Typing for Extensibility by Rows AU - Taro Sekiyama AU - Atsushi Igarashi PY - 2019 UR - https://arxiv.org/abs/1910.08480 ID - 1910.08480 ER -