Компоновка типов в модуль

DLL - Dynamic Link Library

public sealed class Program {
   public static void Main\(\) {
      System.Console.WriteLine\("Hi"\); 
   }
}

При обработке файла с исходным кодом, компилятор C# обнаруживает ссылку на метод WriteLine типа System.Console. Компилятор должен убедиться, что этот тип существует и у него есть такой метод. + компилятор проверяет аргументы метода.

Если тип не объявляен в коде, то компилятор обращается к сборке MSCorLib.DLL для поиска внешних типов

MSCorLib dll — специальный файл, в котором находятся все основные типы: Byte, Char, String, Int32 и т. д. В действительности, эти типы используются так часто, что компилятор C# обращается к этой сборке (MSCorLib dll) автоматически.