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] |