Sciweavers

CORR
2009
Springer

Uniqueness Typing for Resource Management in Message-Passing Concurrency

13 years 9 months ago
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennes
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where CORR
Authors Edsko de Vries, Adrian Francalanza, Matthew Hennessy
Comments (0)