Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages

Summary: Permission-Based Ownership: Encapsulating State
in Higher-Order Typed Languages
Neel Krishnaswami and Jonathan Aldrich
Carnegie Mellon University
{neelk+, aldrich+}@cs.cmu.edu
Today's module systems do not effectively support informa-
tion hiding in the presence of shared mutable objects, causing
serious problems in the development and evolution of large
software systems. Ownership types have been proposed as
a solution to this problem, but current systems have ad-hoc
access restrictions and are limited to Java-like languages.
In this paper, we describe System Fown, an extension of
System F with references and ownership. Our design shows
both how ownership fits into standard type theory and the
encapsulation benefits it can provide in languages with first-
class functions, abstract data types, and parametric polymor-
phism. By looking at ownership in the setting of System F, we
were able to develop a design that is more principled and
flexible than previous ownership type systems, while also


Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University


Collections: Computer Technologies and Information Sciences