This page contains a prototype type checker and translator for extensions to Generic C# implemented by Jeremiah Willcock, Jaakko Järvi, and Andrew Lumsdaine. The extensions are described in technical report:
Associated Types and Constraint Propagation for Mainstream Object-Oriented Generics
Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine
Download the gzipped tar file of the type checker here. See README for further instructions.