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

Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論− : Benjamin C. Pierce, 住井 英二郎, 遠藤 侑介, 酒井 政裕, 今井 敬吾, 黒木 裕介, 今井 宜洋, 才川 隆文, 今井 健男: 本,
![プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社 プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社](https://item-shopping.c.yimg.jp/i/n/funfunhomes_boko0569pc49704x57949_1)
プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社,

Amazon.co.jp: 型システム入門 プログラミング言語と型の理論 eBook : BenjaminC.Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男: Kindleストア,

12年前の『型システム入門』翻訳の思い出話 - Speaker Deck