TY  - RPRT
TI  - Modular Inference of Linear Types for Multiplicity-Annotated Arrows
AU  - Kazutaka Matsuda
PY  - 2020
UR  - https://arxiv.org/abs/1911.00268
ID  - 1911.00268
ER  -