気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
cakeml.orgエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント4件
- 注目コメント
- 新着コメント
igrep
"CakeML is a functional programming language with a proven-correct compiler and runtime system."
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built arou... About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
www.j-cast.com
togetter.com
design.digital.go.jp
bunshun.jp
community.creators-synergy-cafe.com
speakerdeck.com/iwashi86
gigazine.net
www.nikkei.com
togetter.com
pc.watch.impress.co.jp
piyolog.hatenadiary.jp
blog.livedoor.jp/lkrejg
2019/11/11 リンク