За формальное описание общей системы типов в net framework отвечает