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

著者

• 五十嵐, 淳 イガラシ, アツシ

書誌事項

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

五十嵐淳著

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

サイエンス社, 2011.7

タイトル読み

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

注記

文献あり

内容説明・目次

目次

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

「BOOKデータベース」 より

• NII書誌ID(NCID): BB06214835
• ISBN:
  • 9784781912851
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 176p
• 大きさ: 21cm
• 分類:
  • NDC9 : 007.6
  • NDC9 : 007.64
• 件名:
  • BSH : コンピュータ
  • NDLSH : プログラミング用言語
• 親書誌ID:
  • BA84112463