Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

GianniniSZC19b (Article)
Author(s) Paola Giannini, Marco Servetto, Elena Zucca and James Cone
Title« Flexible recovery of uniqueness and immutability »
JournalTheoretical Computer Science
Volume764
Page(s)145 - 172
Year2019
ISSN number0304-3975
URLhttp://www.sciencedirect.com/science/article/pii/S0304397518305668
NoteSelected papers of ICTCS 2016 (The Italian Conference on Theoretical Computer Science)
Keywords
Keywords: Type systems, Imperative calculi, Immutability, Aliasing

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!