| GianniniSZC19b (Article)
|
| Author(s) | Paola Giannini, Marco Servetto, Elena Zucca and James Cone |
| Title | « Flexible recovery of uniqueness and immutability » |
| Journal | Theoretical Computer Science |
| Volume | 764 |
| Page(s) | 145 - 172 |
| Year | 2019 |
| ISSN number | 0304-3975 |
| URL | http://www.sciencedirect.com/science/article/pii/S0304397518305668 |
| Note | Selected papers of ICTCS 2016 (The Italian Conference on Theoretical Computer Science) |
| Keywords |
| Keywords: Type systems, Imperative calculi, Immutability, Aliasing
|
@article{GianniniSZC19b,
volume = {764},
author = {Paola Giannini and Marco Servetto and Elena Zucca and James Cone},
issn = {0304-3975},
note = {Selected papers of ICTCS 2016 (The Italian Conference on Theoretical
Computer Science)},
keywords = {Type systems, Imperative calculi, Immutability, Aliasing},
url = {http://www.sciencedirect.com/science/article/pii/S0304397518305668},
title = {Flexible recovery of uniqueness and immutability},
journal = {Theoretical Computer Science},
pages = {145 - 172},
year = {2019},
doi = {https://doi.org/10.1016/j.tcs.2018.09.001},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
