Formalization of generics for the .NET common language runtime.

Dachuan Yu, Andrew Kennedy, Don Syme

Browse the full POPL paper archive.