Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Computer Laboratory
Computer Laboratory > Abstracts

Seminars will be held in the Lecture Theatre 1 - William Gates Building, Computer Laboratory at 4.15pm
for the research groups' seminars:

 Networks & OS seminars
 Security seminars
 Logic and Semantics seminars
 Natural Langage and Information Processing(NLIP) Group Seminars
 weekly timetable

"Parametric Polymorphism Everywhere"

Andrew Kennedy

Microsoft Research, Cambridge

Parametric polymorphism is thirty years old, yet until recently the only mainstream programming language featuring it was C++. Now the feature - renamed "generics" - is supported by Java, C# and even Visual Basic.

For the last five years I have been involved in the design, implementation, and specification of generics in the .NET Common Language Runtime, the virtual machine that underpins C# and Visual Basic. In this talk I will compare the Java and C# generics designs, commenting in particular on the impact of building generics into the runtime system. I will describe novel and challenging aspects of the implementation, including just-in-time specialization, sharing of code at multiple instantiations, support for run-time types, and pre-compilation. I will also discuss possible future directions for generics.

Wednesday Seminars