![]() | ![]() |
2009 | ||
---|---|---|
2 | EE | Neelakantan R. Krishnaswami: Focusing on pattern matching. POPL 2009: 366-378 |
1 | EE | Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116 |
1 | Jonathan Aldrich | [1] |
2 | Lars Birkedal | [1] |
3 | Alexandre Buisse | [1] |
4 | Kasper Svendsen | [1] |