プログラミング言語の基礎理論
著者
書誌事項
プログラミング言語の基礎理論
（情報数学講座, 9）
共立出版, 1997.2
- タイトル読み
-
プログラミング ゲンゴ ノ キソ リロン
大学図書館所蔵 件 / 全205件
-
007.1||J66||9000127084,
007.1||J66||9000154849, 007.1||J66||900012708, 007.1||J66||900015484, 108700036153, 151900043258 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
付: 参考文献: p[263]-268
索引: 巻末
内容説明・目次
目次
- 第１章 プログラミング言語のモデル
- 第２章 型付きラムダ計算
- 第３章 型付きラムダ計算の拡張
- 第４章 型推論システム
- 第５章 多相型言語のモデル
- 第６章 レコード計算系の理論
「BOOKデータベース」 より