Verifying Generics and Delegates

Kasper Svendsen; Lars Birkedal; M. Parkinson

doi:10.1007/978-3-642-14107-2_9

Verifying Generics and Delegates

Kasper Svendsen, Lars Birkedal, M. Parkinson

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Redaktører	T. D'Hondt
Forlag	Springer
Publikationsdato	2010
Sider	175-199
DOI	https://doi.org/10.1007/978-3-642-14107-2_9
Status	Udgivet - 2010

Navn	Lecture Notes in Computer Science
Vol/bind	6183

Adgang til dokumentet

10.1007/978-3-642-14107-2_9

Citationsformater

@inproceedings{4144ef876678413eb18df2eb3c6c363a,

title = "Verifying Generics and Delegates",

author = "Kasper Svendsen and Lars Birkedal and M. Parkinson",

year = "2010",

doi = "10.1007/978-3-642-14107-2_9",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "175--199",

editor = "D'Hondt, {T. }",

booktitle = "ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings",

address = "Germany",

}

Verifying Generics and Delegates. / Svendsen, Kasper; Birkedal, Lars; Parkinson, M.
ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. red. / T. D'Hondt. Springer, 2010. s. 175-199 (Lecture Notes in Computer Science, Bind 6183).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Verifying Generics and Delegates

AU - Svendsen, Kasper

AU - Birkedal, Lars

AU - Parkinson, M.

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-14107-2_9

DO - 10.1007/978-3-642-14107-2_9

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 175

EP - 199

BT - ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

A2 - D'Hondt, T.

PB - Springer

ER -