Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A type system for borrowing permissions | 20 | 0.70 | 2012 |
| Multicore, manycore, and cloud computing: is a new programming language paradigm required? | 0 | 0.34 | 2011 |
| Plaid: a permission-based programming language | 1 | 0.35 | 2011 |
| Inferring Method Effect Summaries for Nested Heap Regions | 15 | 0.84 | 2009 |