A type system for borrowing permissions.

Karl Naden Robert Bocchino Jonathan Aldrich Kevin Bierhoff

Published in: POPL (2012)

Keyphrases

access control
genetic algorithm
computer vision
information systems
three dimensional
cooperative