Generics for the .NET Common Language Runtime

May 2004: The Whidbey Beta is now available! .NET Generics are now widely available! For example, you can downlaod and use Visual C# 2005 Express which supports generics, or Visual Basic 2005 Express.

02 May 2001: We now have a small external website for this project.

24 April 2001: See our PLDI Paper for some more information on this.

F#

03 August 2004: See the F# website for more details.

ILX

28 Apr 2001: I now have a small external website for this project.

Formal-IL: Applying formal techniques to analyze the verification rules of MS-IL

24 April 2001: See our POPL paper for some more information.

GHC.NET

03 August 2004: For a while I worked on GHC.NET, a backend for the GHC Haskell compiler to target .NET. This was invaluable in the early days of .NET generics to validate the design and implementation of the changes to the CLR. However, I eventually dwitched to doing F# instead of continuing with a Haskell implementation.