D.: Formalization of generics for the .NET Common Language Runtime (2004)

by D Yu, A Kennedy, Syme
Venue:In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages