@misc{indiciae4bcea871499d,
  title = {Linearly Qualified Types: Generic inference for capabilities and uniqueness},
  author = {Arnaud Spiwack and Csongor Kiss and Jean-Philippe Bernardy and Nicolas Wu and Richard Eisenberg},
  year = {2022},
  doi = {10.1145/3547626},
  url = {https://arxiv.org/abs/2103.06127},
  note = {Source identifier: 2103.06127}
}