Types and Programming Languages (MIT Press)

Types and Programming Languages (MIT Press)
お得情報
  • Amazonマーケットプレイス
    ¥ 6,482 より
  • 購入5
  • クリック86
  • 言及数53ブログ
  • ブックマーク17users
「Types and Programming Languages (MIT Press)」をAmazonで購入する
amazon.co.jp 詳細ページへ

「Types and Programming Languages (MIT Press)」を含むはてなダイアリーの人気ブログ この商品についてブログを書く

  • Coq | 前からずっと取り組んでいた「Coqで単純型付きラムダ計算を証明してみよう」が一段落しました。 動機let多相の実装はしたから、次は証明だろ 最近、流行っているCoqを覚えたい 扱えるラムダ式型は、Bool型と関数型のみ。 Inductive type : Set := | BoolT : type | FunT : type -\u003e type -\u003e type. 式は、変数参照、真偽値、ラ 続きを読む

    Coqでラムダ計算を証明してみた - みずぴー日記mzp2009/11/238 users
  • 一部では告知済みですが、プログラミング言語の「型」の教科書と言われる Types and Programming Languages (通称 TAPL) の翻訳チームに参加してます。訳者は、以前の本のメンバー (片岡さんいないけど) だけでなく、OCaml nagoya の人たちに参加してもらった上、監訳はなんと住井先生というパーフェクトな布陣です。既にひと通り日本語にはなっているので、もう少し修 続きを読む

    Types and Programming Languages 日本語版 レビュワー募集 - まめめもku-ma-me2012/11/116 users
  • 勉強会あとで書き足す。Real World Haskell については英語の読み方についての話が主だったので略。RHG 読書会は id:miura1729 さんをお招きしての yarv2llvm の話。自分の気になったところだけメモ。yarv2llvm では変数の型を推論し、メソッド呼び出しをインランイン化して高速化をはかる。例えば、次のようなプログラムが与えられた場合(実際の説明はフィボナッチ数 続きを読む

    CSNAGOYA RWH & RHG 読書会 - 月の塵leque2009/10/054 users

「Types and Programming Languages (MIT Press)」が好きな人は、こんな商品も購入しています

他の商品を探す