نظرية الأنواع

برمجة, علم الحاسوب, علماء حاسوب, نظرية الأنواع

لوكا كارديلي (Luca Cardelli)

أنظمة النوع, علوم الحاسوب, لغات البرمجة, نظرية الأنواع

النوع الرئيسي (Principal Type)