ご注文前に必ずご確認ください＜商品説明＞＜収録内容＞第1章 プログラミング言語のモデル第2章 型付きラムダ計算第3章 型付きラムダ計算の拡張第4章 型推論システム第5章 多相型言語のモデル第6章 レコード計算系の理論＜商品詳細＞商品番号：NEOBK-2394801Ohori Atsushi / Cho / Programming Gengo No Kiso Riron New Editionメディア：本/雑誌発売日：2019/08JAN：9784320124509プログラミング言語の基礎理論 新装版[本/雑誌] / 大堀淳/著2019/08発売