Publications

Research Papers – 2011 onwards

  • Ownership Types
    • Understanding Ownership Types with Dependent Types,  by Cameron, Drossopoulou, and Noble, Aliasing in Object-Oriented Programming 2013: 84-108, LNCS
    • Separating ownership topology and encapsulation with generic universe types, by Dietl,  Drossopoulou, and Müller,  ACM Trans. Program. Lang. Syst. 33(6): 20 (2011)
    • The Roles of Owners, by Clarke, Drossopoulou and Noble, IWACO 2011

Older papers can be found here.