Formalization of Generics for the .NET Common Language Runtime (2004)

by D Yu, A Kennedy, D Syme
Venue:In POPL, POPL ’04. ACM