@inproceedings{4144ef876678413eb18df2eb3c6c363a,
title = "Verifying Generics and Delegates",
author = "Kasper Svendsen and Lars Birkedal and M. Parkinson",
year = "2010",
doi = "http://dx.doi.org/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",
}