型システム入門 −プログラミング言語と型の理論−

推薦のデータ

はてなブログ 2 人、ブログ 1 人が推薦しています。最初の推薦は 2022年11月、最新の推薦は 2025年5月。

その年に初めてこの本を推薦した人の数

この本を推薦した人（3 人）

• geekly.co.jpブログ
  【第5回】「型」はウェブシステム開発に「エンドゲーム」をもたらすか | GeeklyMedia(ギークリーメディア) | Geekly（ギークリー） IT・Web・ゲーム業界専門の人材紹介会社2023年5月
• nowokay.hatenablog.comはてなブログ
  プログラミング言語の入門が終わったら何の勉強をすればいいの？ - きしだのHatena2022年11月
• wagaizumo.hatenablog.comはてなブログ
  思ってたのと違った数学・物理・情報科学（2025/5/1） - 古い土地2025年5月

本の情報

著者

Benjamin C. Pierce、住井 英二郎、遠藤 侑介、酒井 政裕、今井 敬吾、黒木 裕介 ほか

形態

単行本（ソフトカバー）

発売日

2013年3月26日

ISBN

9784274069116

ほかの版

• Kindle版Amazon で見る2013年3月

一緒に推薦されている本