الفهرس 
Simple Theory of TypesOnly 14 pages are availabe for public view
 |  | from | 234 |  |  |
| | | from | 234 | | |
Abstract
يرجع الأهتمام بنظرية الأنواع الى الخمسينيات عندما تم اكتشاف لفة الفورتران حيث انه كان من الضرورى ان يتمكن الحاسب من التقرقة بين المتغيرات من النوع الصحيح والمتغيرات من النوع الحقيقى. بعد ذلك تم اكتشاف لغات اخرى مثل الجول وبسكال حيث زادت انظمة من الأنواع وتم تقوية الأنواع.
ألأنواع القوية تساعد بصورة جيدة تقوى من بناء البرنامج.