エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
The POPLmark Challenge - POPLmark
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
The POPLmark Challenge - POPLmark
The POPLmark Challenge is a concrete set of benchmarks intended both for measuring progress and f... The POPLmark Challenge is a concrete set of benchmarks intended both for measuring progress and for stimulating discussion and collaboration in mechanizing the metatheory of programming languages. [edit] News [8 Nov 2007] André Hirschowitz and Marco Maggesi have posted an updated solution to part 1a. [28 Sep 2007] There will be a workshop at POPL 2008 on Using Proof Assistants for Programming Lan