Verifying Generics and Delegates

Kasper Svendsen, Lars Birkedal, M. Parkinson

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
    EditorsT. D'Hondt
    PublisherSpringer
    Publication date2010
    Pages175-199
    DOIs
    Publication statusPublished - 2010
    SeriesLecture Notes in Computer Science
    Volume6183

    Cite this