23 票

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

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

得票数　23票

リクエスト内容

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

全23件

人気順新着順

bleis-tift

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

ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。 (2019/03/26)
GOOD!1
はねた

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

プログラミング言語モデルについて記述された貴重な邦書であるため。 (2018/04/29)
GOOD!1
ikk775

プログラミング言語について，とくに強い静的型システムを持ったものについての日本語のテキストとして価値が高い．是非とも入手しやすくなって欲しい． (2015/02/03)
GOOD!1