81pEdMiseFL._UF350,350_QL50_.jpg。型システム入門 プログラミング言語と型の理論。型システム入門 プログラミング言語と型の理論 - メルカリ。著者: Benjamin C. Pierceタイトル: 型システム入門 プログラミング言語と型の理論出版社: オーム社ISBN: 978-4-274-06911-6価格: 6800円ご覧いただきありがとうございます。Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論。折り目や目立つ傷などはなく綺麗な状態です。AppleII The DOS Manual 英語版+日本語版 (中古,当時物)。コメントなし即購入OKです◎よろしくお願い致します。【中古】日立 PC MB-H1 MSX。