TY  - RPRT
TI  - Uniqueness Typing for Resource Management in Message-Passing Concurrency
AU  - Edsko de Vries
AU  - Adrian Francalanza
AU  - Matthew Hennessy
PY  - 2010
DO  - 10.4204/eptcs.22.3
UR  - https://arxiv.org/abs/1003.5513
ID  - 1003.5513
ER  -