@inproceedings{36cfeee3ac3440f0b1b8775add574a8c,
title = "A type and effect system for sharing",
abstract = "We outline a type and effect system which infers sharing possibly introduced by the evaluation of an expression. In this way, expressions get very expressive types, which generalize notions enforced in literature by type modifiers. 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: Copyright 2017 ACM.; 32nd Annual ACM Symposium on Applied Computing, SAC 2017 ; Conference date: 04-04-2017 Through 06-04-2017",
year = "2017",
month = apr,
day = "3",
doi = "10.1145/3019612.3019890",
language = "English",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "1513--1515",
booktitle = "32nd Annual ACM Symposium on Applied Computing, SAC 2017",
}