Types and Programming Languages (MIT Press)

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

商品の紹介

The Definition of Standard ML (Revised). MIT Press, 1997. Mitchell, John C. Coercion and type inference (summary). In ACM Symposium on Principles of Programming Languages (POPL), Salt Lake City, Utah, pages 1 75-185, January 1984a.

「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)」が好きな人は、こんな商品も購入しています

他の商品を探す