@misc{indiciaede9ee4714f5e,
  title = {Modular Inference of Linear Types for Multiplicity-Annotated Arrows},
  author = {Kazutaka Matsuda},
  year = {2020},
  url = {https://arxiv.org/abs/1911.00268},
  note = {Source identifier: 1911.00268}
}