Types for immutability and aliasing control

Paola Giannini, Marco Servetto, Elena Zucca

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	62-74
Number of pages	13
Journal	CEUR Workshop Proceedings
Volume	1720
Publication status	Published - 2016
Event	17th Italian Conference on Theoretical Computer Science, ICTCS 2016 - Lecce, Italy Duration: 7 Sept 2016 → 9 Sept 2016

Cite this

@article{0020adf3b2054de29a3ba1d09c945cf3,

title = "Types for immutability and aliasing control",

author = "Paola Giannini and Marco Servetto and Elena Zucca",

year = "2016",

language = "English",

volume = "1720",

pages = "62--74",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "17th Italian Conference on Theoretical Computer Science, ICTCS 2016 ; Conference date: 07-09-2016 Through 09-09-2016",

}

TY - JOUR

T1 - Types for immutability and aliasing control

AU - Giannini, Paola

AU - Servetto, Marco

AU - Zucca, Elena

PY - 2016

Y1 - 2016

UR - http://www.scopus.com/inward/record.url?scp=85007574134&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85007574134

SN - 1613-0073

VL - 1720

SP - 62

EP - 74

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 17th Italian Conference on Theoretical Computer Science, ICTCS 2016

Y2 - 7 September 2016 through 9 September 2016

ER -