u_wot_m8のブックマーク - はてなブックマーク

ソフトウェアの基礎
Benjamin C. Pierce Chris Casinghino Michael Greenberg Vilhelm Sjöberg Brent Yorgey with Andrew W. Appel, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Michael Hicks, Ranjit Jhala, Greg Morrisett, Chung-chieh Shan, Leonid Spesivtsev, and Andrew Tolmach
u_wot_m8 2014/07/10
Coq
リンク
ProofCafe - Coq2Scala
#Coq to Scala English ##概要 Coq2ScalaはCoqのExtraction機能に関する拡張です。 Coq2ScalaはCoqで定義されたアルゴリズムをScalaと連携しJVM上で高速に動作させることを可能にします。開発者: 今井宜洋(ITプランニング)、姜帆(東京大学情報理工学系研究科) ハッシュタグ: #coq2scala リポジトリ: http://bitbucket.org/yoshihiro503/coq2scala ##アルゴリズム Mprime_annot ##ダウンロードこちらからパッチをダウンロードできます: https://bitbucket.org/yoshihiro503/coq2scala/downloads ##インストール 1. 上記から差分ファイルをダウンロードし、対応するcoqのソースコードもCoq本家から取得します。 2.
u_wot_m8 2012/02/09
Coq

Scala
リンク
1

はてなブックマーク