Verifying Generics and Delegates.

Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson

Browse the full ECOOP paper archive.