サクサク読めて、アプリ限定の機能も多数!
「Σモノイド─メタ変数と明示的環境を持つ高階構文」
kiyo_hiko のブックマーク 2014/01/29 14:36
(402) 1 Σモノイド─メタ変数と明示的環境を持つ高階構文 浜名 誠 Σ モノイドとは Fiore,Plotkin,Turi らによって提案された変数束縛と代入の機構を持つ言語の代数的モデルである. 本論文では�[monad][pdf]「Σモノイド─メタ変数と明示的環境を持つ高階構文」2014/01/29 14:36
このブックマークにはスターがありません。 最初のスターをつけてみよう!
takeichi.ipl-lab.org/~hamana2014/01/29
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
「Σモノイド─メタ変数と明示的環境を持つ高階構文」
このブックマークにはスターがありません。
最初のスターをつけてみよう!
(402) 1 Σモノイド─メタ変数と明示的環境を持つ高階構文 浜名 誠 Σ モノイドとは Fiore,Plotkin,Turi らによって提案された変数束縛と代入の機構を持つ言語の代数的モデルである. 本論文では�
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /