プログラミング言語の基礎理論

大堀淳 著

[目次]

  • 第1章 プログラミング言語のモデル
  • 第2章 型付きラムダ計算
  • 第3章 型付きラムダ計算の拡張
  • 第4章 型推論システム
  • 第5章 多相型言語のモデル
  • 第6章 レコード計算系の理論

「BOOKデータベース」より

この本の情報

書名 プログラミング言語の基礎理論
著作者等 大堀 淳
書名ヨミ プログラミング ゲンゴ ノ キソ リロン
シリーズ名 情報数学講座 第9巻
出版元 共立
刊行年月 1997.2
ページ数 272p
大きさ 22cm
ISBN 4320026594
NCID BN15873134
※クリックでCiNii Booksを表示
全国書誌番号
97055834
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想