サクサク読めて、アプリ限定の機能も多数!
Hanne Riis Nielson, Flemming Nielson: "Semantics with Applications: A Formal Introduction" の解説スライドがある
anemo のブックマーク 2009/02/05 02:57
Asai Laboratory, Ochanomizu University[computing] Hanne Riis Nielson, Flemming Nielson: "Semantics with Applications: A Formal Introduction" の解説スライドがある2009/02/05 02:57
Hanne Riis Nielson, Flemming Nielson: "Semantics with Applications: A Formal Introduction" の解説スライドがある
このブックマークにはスターがありません。 最初のスターをつけてみよう!
pllab.is.ocha.ac.jp2008/08/23
継続計算に対する仮想機械の導出 定理証明系Coqを使った各種継続計算の性質の証明 対称 λ 計算 shift/resetを含む部分評価器の実装 MinCamlコンパイラ,Caml Lightにおけるshift/resetの実装 証明木(ほか)の可視...
30 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
Hanne Riis Nielson, Flemming Nielson: "Semantics with Applications: A Formal Introduction" の解説スライドがある
anemo のブックマーク 2009/02/05 02:57
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Asai Laboratory, Ochanomizu University
pllab.is.ocha.ac.jp2008/08/23
継続計算に対する仮想機械の導出 定理証明系Coqを使った各種継続計算の性質の証明 対称 λ 計算 shift/resetを含む部分評価器の実装 MinCamlコンパイラ,Caml Lightにおけるshift/resetの実装 証明木(ほか)の可視...
30 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /