プログラミング言語の型システムと理論的基礎を網羅的に解説した専門書です。- タイトル: 型システム入門 プログラミング言語と型の理論- 著者: Benjamin C. Pierce- 出版社: オーム社ご覧いただきありがとうございます。写真の通り1ページだけ破れている箇所があります、ご了承ください。若干の擦れ等はございますが概ね綺麗かと思います。。代ゼミテキスト 西谷昇二 CANDY ROCK 冬期直前講習会 1991年。青本 神戸大学 文系 前期日程 2007年~2023年 17年分 駿台予備学校。入試数学系統講義 数学I A II B III セット 2025。【早慶全勝】早稲アカ教材35冊 選抜・正月特訓