プログラミング言語の基礎概念

著者

書誌事項

プログラミング言語の基礎概念

五十嵐淳著

（ライブラリ情報学コア・テキスト, 24）

サイエンス社, 2011.7

タイトル読み

プログラミング ゲンゴ ノ キソ ガイネン

大学図書館所蔵 件 / 全127件

この図書・雑誌をさがす

注記

文献あり

内容説明・目次

目次

  • 第１部　導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）
  • 第２部　ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）
  • 第３部　ＭＬの型システム（単純型システム；多相的型システム；型推論）

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ