Hanne Riis Nielson, Flemming Nielson: "Semantics with Applications: A Formal Introduction" の解説スライドがある

anemoanemo のブックマーク 2009/02/05 02:57

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Asai Laboratory, Ochanomizu University

    継続計算に対する仮想機械の導出 定理証明系Coqを使った各種継続計算の性質の証明 対称 λ 計算 shift/resetを含む部分評価器の実装 MinCamlコンパイラ,Caml Lightにおけるshift/resetの実装 証明木(ほか)の可視...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう