サクサク読めて、アプリ限定の機能も多数!
sonota88 のブックマーク 2022/05/19 22:56
R5RSのformal semanticsをOCamlで書いた[OCaml][Scheme]2022/05/19 22:56
このブックマークにはスターがありません。 最初のスターをつけてみよう!
pages.zick.run2022/05/17
R5RSのformal semanticsをOCamlで書いた 背景 bitのバックナンバーを読んでいたら見つけた 「プログラム検証入門」という記事(1980年9月〜12月号掲載)が非常に面白かった。 その記事に参考文献として載っていた...
3 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
このブックマークにはスターがありません。
最初のスターをつけてみよう!
R5RSのformal semanticsをOCamlで書いた
R5RSのformal semanticsをOCamlで書いた 背景 bitのバックナンバーを読んでいたら見つけた 「プログラム検証入門」という記事(1980年9月〜12月号掲載)が非常に面白かった。 その記事に参考文献として載っていた...
3 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /