Types_and_Programming_Languages
種類やプログラミング言語、 ISBN 0-262-16209-1は、ある本によるベンジャミン・C・ピアスのタイプのシステム、2002年に発表しました。
Frank Pfenningによるレビューでは、これを「おそらく、近年のプログラミング言語の分野で最も重要な1冊の本」と呼んでいます。
参考文献
^ Pfenning、Frank。「ベンジャミンC.ピアスによるタイプとプログラミング言語のレビュー」。シンボリックロジックの会報。シンボリックロジック協会。10（2）：213–214。土井：10.1017 / s1079898600003954。JSTOR 3176763。
外部リンク
公式サイト
コンピュータの本または一連の本に関するこ
“