|
丸善のおすすめ度
プログラミング言語の基礎理論 新装版
大堀 淳
著
発行年月 |
2019年08月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
9p,272p |
|---|
大きさ |
21cm |
|---|
|
ジャンル |
和書／理工学／情報学／プログラミング |
|---|
|
|
ISBN |
9784320124509 |
|---|
|
商品コード |
1030592430 |
|---|
NDC分類 |
007.64 |
|---|
|
|
本の性格 |
実務向け |
|---|
|
新刊案内掲載月 |
2019年09月3週 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1030592430 |
|---|
著者紹介
大堀 淳（著者）：1957年生まれ。ペンシルバニア大学大学院計算機・情報科学科博士課程修了。東北大学電気通信研究所教授。著書に「計算機システム概論」など。
内容
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて，関数型プログラミング言語の動作やその型システムの原理，さらに，多相型，型推論，継続計算，レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。『情報数学講座9 プログラミング言語の基礎理論』として1997年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました。この度，多くの読者からの要望を受け単行本に改装し発行するものです。
