Lost in translation: formalizing proposed extensions to c#.

Gavin M. Bierman, Erik Meijer, Mads Torgersen

Browse the full OOPSLA paper archive.