@inproceedings{4c4cc3cb4a1343749131ba5ddb70c23d,
title = "A type and effect system for uniqueness and immutability",
abstract = "We present a type and effect system for expressing uniqueness and immutability properties in imperative languages. The distinguishing feature is that typechecking infers sharing possibly introduced by the evaluation of an expression. In this way, expressions get very expressive types: notably, uniqueness and immutability properties can be detected from the fact that no sharing is introduced with the final result of the expression. Sharing is directly represented at the syntactic level as a relation among free variables, thanks to the fact that the underlying calculus is pure. That is, imperative features are modeled by just rewriting source code terms.",
keywords = "Calculi, Effects, Sharing, Type inference",
author = "Paola Giannini and Marco Servetto and Elena Zucca",
note = "Publisher Copyright: {\textcopyright} 2018 ACM.; 33rd Annual ACM Symposium on Applied Computing, SAC 2018 ; Conference date: 09-04-2018 Through 13-04-2018",
year = "2018",
month = apr,
day = "9",
doi = "10.1145/3167132.3167245",
language = "English",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "1038--1045",
booktitle = "Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018",
}