BenjaminC Pierceの本

2冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• 型システム入門 : プログラミング言語と型の理論
  型システム入門 : プログラミング言語と型の理論2013-03-01
• Types and programming languages
  Types and programming languages2002-01-01