الأنواع ولغات البرمجة

كتاب "الأنواع ولغات البرمجة" ، من تأليف بنجامين سي. بيرس ، أستاذالحاسوب والمعلومات في جامعة بنسلفانيا ^{[ 1 ]} ، هو كتاب في مجال الحوسبة يتناول أنظمة الأنواع ولغات البرمجة . ^{[ 2 ]} نُشر الكتاب عام 2002 من قِبل مطبعة معهد ماساتشوستس للتكنولوجيا . ^{[ 3 ]}

منذ نشره، أصبح الكتاب أحد أكثر النصوص استشهادًا وتأثيرًا في مجال نظرية لغات البرمجة. ^{[ 1 ]} ويُستخدم بكثرة ككتاب دراسي على مستوى الدراسات العليا في برامج علوم الحاسوب حول العالم، وقد ساهم في تشكيل طريقة تدريس أنظمة الأنواع في المناهج الأكاديمية . ^{[ 2 ] [ 1 ]}

وصفه فرانك بفينينغ في مراجعته بأنه "ربما يكون أهم كتاب منفرد في مجال لغات البرمجة في السنوات الأخيرة". ^{[ 4 ]}

• الموقع الرسمي