Verifying Generics and Delegates
- Kasper Svendsen,
- Lars Birkedal,
- M. Parkinson
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOpen access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 175-199Publication milestones
- Published - 2010
Publication status
Published - 2010
Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
Volume: 6183
Publication IDs
- Scopus: 77955040042
Host publication title
ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. ProceedingsHost publication editors
- T. D'Hondt
Publication metrics
PlumX, opens in new tab
Captures
8
Citations
12
