Permission-based ownership: encapsulating state in higher-order typed languages.

Neelakantan R. Krishnaswami, Jonathan Aldrich

Browse the full PLDI paper archive.