Browsing by Author Devries, Edsko
Showing results 3 to 3 of 3
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 2009 | Uniqueness typing for resource management in message-passing concurrency | Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew |