Types for immutability and aliasing control

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review

Lingua originale	Inglese
pagine (da-a)	62-74
Numero di pagine	13
Rivista	CEUR Workshop Proceedings
Volume	1720
Stato di pubblicazione	Pubblicato - 2016
Evento	17th Italian Conference on Theoretical Computer Science, ICTCS 2016 - Lecce, Italy Durata: 7 set 2016 → 9 set 2016

Altri file e collegamenti

@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 - https://www.scopus.com/pages/publications/85007574134

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 -