dblp.uni-trier.dewww.uni-trier.de

Neel Krishnaswami

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jonathan Aldrich [2]
2Kevin Donnelly [1]
3Tyler Gibson [1]
4Stephen Magill [1]
5Sungwoo Park [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)