この商品をご覧のお客様は、こんな商品もチェックしています。
- エクセル兄さんが教える世界一わかりやすいＭＯＳ教室 全面改訂版
-
価格：2,090円（本体1,900円＋税）
【2022年07月発売】
- 国際関係論
-
価格：2,640円（本体2,400円＋税）
【2024年03月発売】
- 米軍最強という幻想
-
価格：1,870円（本体1,700円＋税）
【2024年02月発売】
- ニッポンの数字
-
価格：1,078円（本体980円＋税）
【2024年02月発売】
- Ｐｙｔｈｏｎで学ぶはじめてのプログラミング入門教室
-
価格：2,420円（本体2,200円＋税）
【2023年12月発売】
のマークが目印です。
[BOOKデータベースより]
第１章 プログラミング言語のモデル
[日販商品データベースより]第２章 型付きラムダ計算
第３章 型付きラムダ計算の拡張
第４章 型推論システム
第５章 多相型言語のモデル
第６章 レコード計算系の理論
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて，関数型プログラミング言語の動作やその型システムの原理，さらに，多相型，型推論，継続計算，レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。『情報数学講座9 プログラミング言語の基礎理論』として1997年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました。この度，多くの読者からの要望を受け単行本に改装し発行するものです。