ประเภทและภาษาโปรแกรม

ผู้เขียน	เบนจามิน ซี. เพียร์ซ
ภาษา	ภาษาอังกฤษ
เรื่อง	ระบบประเภท
ประเภท	การคำนวณ
สำนักพิมพ์	สำนักพิมพ์ MIT
วันที่เผยแพร่	วันที่ 1 กุมภาพันธ์ พ.ศ. 2545
ISBN	978-0262162098

หนังสือ Types and Programming Languages ​​เขียนโดย Benjamin C. Pierceซึ่งเป็นศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์และสารสนเทศศาสตร์ที่มหาวิทยาลัยเพนซิลเวเนีย^{[ 1 ]}เป็นหนังสือเกี่ยวกับการคำนวณระบบประเภทและภาษาโปรแกรม^{[ 2 ]}หนังสือ Types and Programming Languages ​​ได้รับการตีพิมพ์ในปี 2002 โดยสำนักพิมพ์ MIT Press ^{[ 3 ]}

นับตั้งแต่ตีพิมพ์ หนังสือเล่มนี้ได้กลายเป็นหนึ่งในตำราที่มีการอ้างอิงและมีอิทธิพลมากที่สุดในสาขาทฤษฎีภาษาโปรแกรม^{[ 1 ]}มีการใช้เป็นตำราเรียน ระดับบัณฑิตศึกษา ในหลักสูตรวิทยาการคอมพิวเตอร์ทั่วโลกบ่อยครั้ง และได้กำหนดรูปแบบการสอนระบบประเภทในหลักสูตรการศึกษา^{[ 2 ] [ 1 ]}

บทวิจารณ์โดยFrank Pfenningเรียกหนังสือเล่มนี้ว่า "น่าจะเป็นหนังสือที่สำคัญที่สุดเพียงเล่มเดียวในด้านภาษาโปรแกรมในช่วงไม่กี่ปีที่ผ่านมา" ^{[ 4 ]}

• เว็บไซต์อย่างเป็นทางการ