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