Neelakantan R. Krishnaswami

	2009
3		Neelakantan R. Krishnaswami: Focusing on pattern matching. POPL 2009: 366-378
2		Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116
	2005
1		Neelakantan R. Krishnaswami, Jonathan Aldrich: Permission-based ownership: encapsulating state in higher-order typed languages. PLDI 2005: 96-106

Coauthor Index

1	Jonathan Aldrich	[1] [2]
2	Lars Birkedal	[2]
3	Alexandre Buisse	[2]
4	Kasper Svendsen	[2]