プログラミング言語の基礎概念
Author(s)
Bibliographic Information
プログラミング言語の基礎概念
（ライブラリ情報学コア・テキスト, 24）
サイエンス社, 2011.7
- Title Transcription
-
プログラミング ゲンゴ ノ キソ ガイネン
Available at / 128 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.64-I2310011012911
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献あり
Description and Table of Contents
Table of Contents
- 第１部 導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）
- 第２部 ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）
- 第３部 ＭＬの型システム（単純型システム；多相的型システム；型推論）
by "BOOK database"