| 2005 | ||
|---|---|---|
| 2 | EE | Neel Krishnaswami, Jonathan Aldrich: Permission-based ownership: encapsulating state in higher-order typed languages. PLDI 2005: 96-106 |
| 2004 | ||
| 1 | EE | Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park: The Inverse Method for the Logic of Bunched Implications. LPAR 2004: 466-480 |
| 1 | Jonathan Aldrich | [2] |
| 2 | Kevin Donnelly | [1] |
| 3 | Tyler Gibson | [1] |
| 4 | Stephen Magill | [1] |
| 5 | Sungwoo Park | [1] |