Amazon.co.jp: 型システム入門 プログラミング言語と型の理論 eBook。プログラミング[型システム入門 プログラミング言語と方の理論。プログラミング[型システム入門 プログラミング言語と方の理論。プログラミング言語の型システムと理論的基礎を網羅的に解説した専門書です。Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論。- タイトル: 型システム入門 プログラミング言語と型の理論- 著者: Benjamin C. Pierce- 出版社: オーム社ご覧いただきありがとうございます。ICD-10(2013年版)準拠 第1・3巻。写真の通り1ページだけ破れている箇所があります、ご了承ください。ソロモンの新有機化学 I II III 11版セット。若干の擦れ等はございますが概ね綺麗かと思います。美品 小学館 日本語源大辞典。