資料詳細

【図書】 プログラミング言語の基礎概念

ライブラリ情報学コア・テキスト --
五十嵐淳／著 -- サイエンス社 -- ２０１１．７ -- ２１ｃｍ -- １７６ｐ

タイトル	プログラミング言語の基礎概念
シリーズ名	ライブラリ情報学コア・テキスト
著者名等	五十嵐淳／著
出版	サイエンス社２０１１．７
大きさ等	２１ｃｍ１７６ｐ
分類	007.64
件名	プログラミング言語
注記	文献あり　索引あり
目次	第１部　導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）；第２部　ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）；第３部　ＭＬの型システム（単純型システム；多相的型システム；型推論）
ISBN(13)、ISBN	978-4-7819-1285-1　　 4-7819-1285-0
書誌番号	1111051668
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1111051668

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map	情報科学 10	007.6	一般書	利用可	-	2054859875