TY  - RPRT
TI  - Linearly Qualified Types: Generic inference for capabilities and uniqueness
AU  - Arnaud Spiwack
AU  - Csongor Kiss
AU  - Jean-Philippe Bernardy
AU  - Nicolas Wu
AU  - Richard Eisenberg
PY  - 2022
DO  - 10.1145/3547626
UR  - https://arxiv.org/abs/2103.06127
ID  - 2103.06127
ER  -