Permission-based ownership: encapsulating state in higher-order typed languages (2005)

by Neelakantan R Krishnaswami, Jonathan Aldrich
Venue:In PLDI