• 本

プログラミング言語の基礎理論 新装版

出版社名 共立出版
出版年月 2019年8月
ISBNコード 978-4-320-12450-9
4-320-12450-2
税込価格 4,968円
頁数・縦 272P 21cm
シリーズ名 プログラミング言語の基礎理論

この商品を買った人は、こちらにも興味をもっています

商品内容

目次

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

著者紹介

大堀 淳 (オオホリ アツシ)  
1957年生まれ。1981年東京大学文学部哲学科卒業。1989年ペンシルバニア大学大学院計算機・情報科学科博士課程修了。1981年沖電気工業株式会社勤務。1993年京都大学数理解析研究所助教授。2000年北陸先端科学技術大学院大学教授。2005年東北大学電気通信研究所教授(本データはこの書籍が刊行された当時に掲載されていたものです)