復刊リクエスト投票

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

  【著者】大堀淳

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