Alexander Joseph Ahern
Nobuko Yoshida
2005
Formalising Java RMI with explicit code mobility
Ralph E. Johnson
Richard P. Gabriel
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2005)
ACM Press
403–422
10.1145/1094811.1094843
Paulo Sérgio Almeida
1997
Balloon Types: Controlling Sharing of State in Data Types
ECOOP'97 - Object-Oriented Programming
Lecture Notes in Computer Science
1241
Springer
32–59
10.1007/BFb0053373
Zena M. Ariola
Stefan Blom
2002
Skew confluence and the lambda calculus with letrec
Ann. Pure Appl. Logic
117
1-3
95–168
10.1016/S0168-0072(01)00104-X
Zena M. Ariola
Matthias Felleisen
1997
Journ. of Functional Programming
7
3
265–301
10.1017/S0956796897002724
Lorenzo Bettini
Ferruccio Damiani
Ina Schäfer
2010
IFJ: a minimal imperative variant of FJ
Technical Report
133/2010
Dipartimento di Informatica, Università di Torino
Gavin M. Bierman
Matthew J. Parkinson
2003
Effects and effect inference for a core Java calculus
Electr. Notes Theor. Comput. Sci.
82
7
82–107
10.1016/S1571-0661(04)80803-X
John Boyland
2001
Alias Burying: Unique Variables Without Destructive Reads
Softw. Pract. Exper.
31
6
533–553
10.1002/spe.370
John Boyland
2010
Semantics of Fractional Permissions with Nesting
ACM Transactions on Programming Languages and Systems
32
6
10.1145/1749608.1749611
Andrea Capriccioli
Marco Servetto
Elena Zucca
2016
An imperative pure calculus
Electronic Notes in Theoretical Computer Science
322
87–102
10.1016/j.entcs.2016.03.007
Dave Clarke
Johan Östlund
Ilya Sergey
Tobias Wrigstad
2013
Ownership Types: A Survey
Dave Clarke
James Noble
Tobias Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Lecture Notes in Computer Science
7850
Springer
15–58
10.1007/978-3-642-36946-9-3
David Clarke
Tobias Wrigstad
2003
External Uniqueness is Unique Enough
Luca Cardelli
ECOOP'03 - Object-Oriented Programming
Lecture Notes in Computer Science
2473
Springer
176–200
10.1006/inco.1996.2613
Sylvan Clebsch
Sophia Drossopoulou
Sebastian Blessing
Andy McNeil
2015
Deny capabilities for safe, fast actors
Elisa Gonzalez Boix
Philipp Haller
Alessandro Ricci
Carlos Varela
International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015
ACM Press
1–12
10.1145/2824815.2824816
Werner Dietl
Sophia Drossopoulou
Peter Müller
2007
Generic Universe Types
Erik Ernst
ECOOP'07 - Object-Oriented Programming
Lecture Notes in Computer Science
4609
Springer
28–53
10.1007/BFb0054091
Paola Giannini
Tim Richter
Marco Servetto
Elena Zucca
2019
Tracing sharing in an imperative pure calculus
Science of Computer Programming
172
180 – 202
10.1016/j.scico.2018.11.007
Paola Giannini
Marco Servetto
Elena Zucca
2016
Types for Immutability and Aliasing Control
ICTCS'16 - Italian Conf. on Theoretical Computer Science
CEUR Workshop Proceedings
1720
CEUR-WS.org
62–74
10.1145/2824815.2824816
Paola Giannini
Marco Servetto
Elena Zucca
2017
Tracing sharing in an imperative pure calculus: extended abstract
FTfJP'17 - Formal Techniques for Java-like Programs
ACM Press
6:1–6:6
10.1145/3103111.3104038
Paola Giannini
Marco Servetto
Elena Zucca
2017
A type and effect system for sharing
Ahmed Seffah
Birgit Penzenstadler
Carina Alves
Xin Peng
OOPS'17 - Object-Oriented Programming Languages and Systems, Track at SAC'17 - ACM Symp. on Applied Computing
ACM Press
1513–1515
10.1145/3019612.3019890
Paola Giannini
Marco Servetto
Elena Zucca
2018
A type and effect system for uniqueness and immutability
Hisham M. Haddad
Roger L. Wainwright
Richard Chbeir
OOPS'18 - Object-Oriented Programming Languages and Systems, Track at SAC'18 - ACM Symp. on Applied Computing
ACM Press
1038–1045
10.1145/3167132.3167245
Paola Giannini
Marco Servetto
Elena Zucca
James Cone
2019
Flexible recovery of uniqueness and immutability
Theoretical Computer Science
764
145 – 172
10.1016/j.tcs.2018.09.001
Colin S. Gordon
Matthew J. Parkinson
Jared Parsons
Aleks Bromfield
Joe Duffy
2012
Uniqueness and reference immutability for safe parallelism
Gary T. Leavens
Matthew B. Dwyer
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2012)
ACM Press
21–40
10.1145/2398857.2384619
John Hogg
1991
Islands: Aliasing Protection in Object-oriented Languages
Andreas Paepcke
ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1991
ACM Press
271–285
10.1145/118014.117975
Atsushi Igarashi
Benjamin C. Pierce
Philip Wadler
2001
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems
23
3
396–450
10.1145/503502.503505
John Maraist
Martin Odersky
Philip Wadler
1998
The Call-by-Need Lambda Calculus
Journ. of Functional Programming
8
3
275–317
10.1017/S0956796898003037
Robin Milner
1999
Communicating and mobile systems - the Pi-calculus
Cambridge University Press
10.1017/S0956796898003037
Karl Naden
Robert Bocchino
Jonathan Aldrich
Kevin Bierhoff
2012
A type system for borrowing permissions
ACM Symp. on Principles of Programming Languages 2012
ACM Press
557–570
10.1145/2103656.2103722
Marco Servetto
Lindsay Groves
2013
True small-step reduction for imperative object-oriented languages
FTfJP'13- Formal Techniques for Java-like Programs
10.1145/2489804.2489805
Marco Servetto
Elena Zucca
2015
Aliasing Control in an Imperative Pure Calculus
Xinyu Feng
Sungwoo Park
Programming Languages and Systems - 13th Asian Symposium (APLAS)
Lecture Notes in Computer Science
9458
Springer
208–228
10.1007/978-3-319-26529-2_12
Aaron Turon
2017
Rust: from POPL to practice (keynote)
Giuseppe Castagna
Andrew D. Gordon
ACM Symp. on Principles of Programming Languages 2017
ACM Press
2
10.1145/3009837.3011999
Yoav Zibin
Alex Potanin
Paley Li
Mahmood Ali
Michael D. Ernst
2010
Ownership and immutability in generic Java
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2010)
598–617
10.1145/1869459.1869509