A compiler-writer’s guide to C#

“Plan:

• Give overview of language from point of view of compiler writer
• Code generation for CLR is trival, so we’ll focus on type checking
• Specification is 410 pages, almost no formal methods, and frustratingly verbosely written
• We’ll boil much of it down to five parts”