Connecting effects and uniqueness with adoption

Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for handling linear pointers in shared variables can be extended to connect the two concepts. Our innovations include the ability to define adoption relations between individual fields rather than whole objects, and the ability to "focus" on more than one adoptee at a time. The resulting system uses recursive alias types, "permission closures" and "conditional permissions." Then we show how previously proposed effect and uniqueness annotations can be represented in the type system.

• Type: Conference
• Year: 2005
• Where: POPL
• Authors: John Tang Boyland, William Retert
• Keywords: Alias Types, Individual Fields, Linear Pointers, POPL 2005, Programming Languages