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

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

復刊活動にご賛同の方はリクエスト投票をお願いします。

得票数 23
著者 大堀淳
出版社 共立出版
ジャンル 専門書
ISBNコード 9784320026599
登録日 2011/09/29
リクエストNo. 54012
リクエスト内容
1.プログラミング言語のモデル 2.型付きラムダ計算 3.型付きラムダ計算の拡張 4.型推論システム 5.多相型言語のモデル 6.レコード計算系の理論

投票コメント (全23件)

評価文脈付きの簡約規則について日本語で解説している数少ない(唯一かも?)の書籍のため。 現状、継続関連などの論文を読む前提知識について学びにくくなってしまっている。

2019/03/15

ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。

2019/03/26

同シリーズのプログラム意味論とともによく良書と言われている。 プログラム意味論が復刊したので、ぜひこちらも読みたい。

2018/10/14

プログラミング言語モデルについて記述された貴重な邦書であるため。

2018/04/29

プログラミング言語について,とくに強い静的型システムを持ったものについての日本語のテキストとして価値が高い.是非とも入手しやすくなって欲しい.

2015/02/03

読後レビュー

まだレビューはありません。

この本をお読みの方、ぜひレビューをお書きください。

外部リンク商品

タイトル 価格 サイト
新装版 プログラミング言語の基礎理論 5,060円 アマゾン

※こちらの商品は販売先の状況によって品切れになる可能性があります

ニュース

2019/07/03
『新装版 プログラミング言語の基礎理論』復刊決定!
2012/09/15
『プログラミング言語の基礎理論』が10票に到達しました。
2011/09/29
『プログラミング言語の基礎理論』(大堀淳)の復刊リクエスト受付を開始しました。

関連キーワード

この本に関する情報を提供する

この本の情報を復刊ドットコムまでお寄せください