出版社内容情報
【解説】
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説した。
【目次】
プログラミング言語のモデル・型付きラムダ計算・型付きラムダ計算の拡張・型推論システム・多相型言語のモデル他
目次
第１章 プログラミング言語のモデル
第２章 型付きラムダ計算
第３章 型付きラムダ計算の拡張
第４章 型推論システム
第５章 多相型言語のモデル
第６章 レコード計算系の理論
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
まつど@理工
0
メモ:類書をみない良書
