|
プログラミング言語の基礎理論
大堀淳 著
[目次]
- 第1章 プログラミング言語のモデル
- 第2章 型付きラムダ計算
- 第3章 型付きラムダ計算の拡張
- 第4章 型推論システム
- 第5章 多相型言語のモデル
- 第6章 レコード計算系の理論
「BOOKデータベース」より
|
書名 |
プログラミング言語の基礎理論 |
著作者等 |
大堀 淳
|
書名ヨミ |
プログラミング ゲンゴ ノ キソ リロン |
シリーズ名 |
情報数学講座 第9巻
|
出版元 |
共立 |
刊行年月 |
1997.2 |
ページ数 |
272p |
大きさ |
22cm |
ISBN |
4320026594
|
NCID |
BN15873134
※クリックでCiNii Booksを表示
|
全国書誌番号
|
97055834
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
出版国 |
日本 |
この本を:
|
件が連想されています
|