復刊ドットコム

新規会員登録

新規会員登録

T-POINT 貯まる!使える!

23

投票する

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

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

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

投票する

得票数 23

リクエストに関連する復刊/関連商品をみる

著者 大堀淳
出版社 共立出版
ジャンル 専門書
ISBNコード 9784320026599
登録日 2011/09/29
リクエストNo. 54012

リクエスト内容

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

関連キーワード

キーワードの編集

投票コメント

全23件

  • 評価文脈付きの簡約規則について日本語で解説している数少ない(唯一かも?)の書籍のため。
    現状、継続関連などの論文を読む前提知識について学びにくくなってしまっている。 (2019/03/15)
    GOOD!2
  • ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。 (2019/03/26)
    GOOD!1
  • 同シリーズのプログラム意味論とともによく良書と言われている。
    プログラム意味論が復刊したので、ぜひこちらも読みたい。 (2018/10/14)
    GOOD!1
  • プログラミング言語モデルについて記述された貴重な邦書であるため。 (2018/04/29)
    GOOD!1
  • プログラミング言語について,とくに強い静的型システムを持ったものについての日本語のテキストとして価値が高い.是非とも入手しやすくなって欲しい. (2015/02/03)
    GOOD!1

もっと見る

このリクエストの関連商品

全1件

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

    【著者】大堀淳

    4,968円(税込)

    46ポイント

    投票数:23

    配送時期:3~6日後

    高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて、関数型プログラミング言語の動作やその型システムの原理、さらに、多相型、型推論、継続計算、レコード計算...

    購入ページへ

NEWS

  • 2019/07/03
    『新装版 プログラミング言語の基礎理論』復刊決定!

  • 2012/09/15
    『プログラミング言語の基礎理論』が10票に到達しました。

  • 2011/09/29
    『プログラミング言語の基礎理論』(大堀淳)の復刊リクエスト受付を開始しました。

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

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

詳しくはこちら

復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!

復刊リクエストTOPへ

T-POINT 貯まる!使える!