気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
2 usersがブックマーク
0
0
https://www.irif.fr/~sozeau//research/publications/drafts/Towards_Certified_Meta-Programming_with_Typed_Template-Coq.pdf
2 users
www.irif.fr/~sozeau
www.irif.fr/~sozeau
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
https://www.irif.fr/~sozeau//research/publications/drafts/Towards_Certified_Meta-Programming_with_Typed_Template-Coq.pdf
Towards Certified Meta-Programming with Typed Template-Coq Abhishek Anand1 , Simon Boulier2 , Cyr... Towards Certified Meta-Programming with Typed Template-Coq Abhishek Anand1 , Simon Boulier2 , Cyril Cohen3 , Matthieu Sozeau4 and Nicolas Tabareau2 1 Cornell University, Ithaca, NY U.S.A. 2 Gallinette Project-Team, Inria Nantes, France 3 Université Côte d’Azur, Inria, France 4 Pi.R2 Project-Team, Inria Paris and IRIF, France Abstract. Template-Coq5 is a plugin for Coq, originally implemented by
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
anond.hatelabo.jp
togetter.com
qjweb.jp
nordot.app
pc.watch.impress.co.jp
speakerdeck.com/tbpgr
www3.nhk.or.jp
kaminashi-developer.hatenablog.jp
techblog.zozo.com
zenn.dev/tockn
levtech.jp
zenn.dev/nem
otanew.jp
blog.livedoor.jp/akb48rhyh
