出版社内容情報
【解説】
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説した。
【目次】
プログラミング言語のモデル・型付きラムダ計算・型付きラムダ計算の拡張・型推論システム・多相型言語のモデル他
目次
第1章 プログラミング言語のモデル
第2章 型付きラムダ計算
第3章 型付きラムダ計算の拡張
第4章 型推論システム
第5章 多相型言語のモデル
第6章 レコード計算系の理論
【解説】
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説した。
【目次】
プログラミング言語のモデル・型付きラムダ計算・型付きラムダ計算の拡張・型推論システム・多相型言語のモデル他
第1章 プログラミング言語のモデル
第2章 型付きラムダ計算
第3章 型付きラムダ計算の拡張
第4章 型推論システム
第5章 多相型言語のモデル
第6章 レコード計算系の理論