Formalization of generics for the .NET common language runtime

We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization and sharing, and efficient support for run-time types. Some crucial constructs used in the implementation are dictionaries and run-time type representations. We formalize these aspects type-theoretically in a way that corresponds in spirit to the implementation techniques used in practice. Both the techniques and the formalization also help us understand the range of possible implementation techniques for other languages, e.g., ML, especially when additional source language constructs such as run-time types are supported. A useful by-product of this study is a type system for a subset of the polymorphic IL proposed for the .NET CLR. Categories and Subject Descriptors: D.3.3 [Programming Languages]: Language Constructs and Features--Polymorphism, Classes and Objects; D.3.1 [Programming Languages]: Formal Defini...

• Type: Conference
• Year: 2004
• Where: POPL
• Authors: Dachuan Yu, Andrew Kennedy, Don Syme
• Keywords: Additional Source Language, Common Language Runtime, POPL 2004, Programming Languages, Theory General Terms