大堀 淳/著

共立出版 2019.8

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス-IT 4Y/007.64/オオ/ 1109546810 一般   利用可

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

資料詳細

タイトル プログラミング言語の基礎理論
著者 大堀 淳 /著  
出版者 共立出版
出版年 2019.8
ページ数 9,272p
大きさ 21cm
一般件名 プログラミング(コンピュータ)
NDC分類(9版) 007.64
内容紹介 高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。関数型プログラミング言語の動作やその型システムの原理、型推論、レコード計算等を含むプログラミング言語の種々の高度な機能の基礎を習得できる。
ISBN 4-320-12450-9

内容一覧

タイトル 著者名 ページ
第1章 プログラミング言語のモデル
第2章 型付きラムダ計算
第3章 型付きラムダ計算の拡張
第4章 型推論システム
第5章 多相型言語のモデル
第6章 レコード計算系の理論