Verifying Generics and Delegates

Kasper Svendsen, Lars Birkedal, and Matthew Parkinson

Details

Publication typeInproceedings
Published inProceedings of ECOOP
> Publications > Verifying Generics and Delegates