Loading article…
ペンシルベニア大学のコンピュータ情報科学教授であるベンジャミン・C・ピアースが執筆した『型とプログラミング言語』[ 1 ]は、型システムとプログラミング言語に関するコンピュータ関連の書籍です。 [ 2 ]『型とプログラミング言語』は、2002年にMIT Pressから出版されました。 [ 3 ]
出版以来、本書はプログラミング言語理論の分野で最も広く引用され、影響力のあるテキストの1つとなっています。[ 1 ]世界中のコンピュータサイエンスの大学院レベルの教科書として頻繁に使用されており、学術カリキュラムにおける型システムの教え方に影響を与えています。[ 2 ] [ 1 ]
フランク・フェニングによる書評では、「近年のプログラミング言語の分野で最も重要な書籍の一つと言えるだろう」と評されている。[ 4 ]
