A type system for borrowing permissions.

Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff

Browse the full POPL paper archive.