サクサク読めて、アプリ限定の機能も多数!
"DOT now has a mechanized proof of type soundness"
tarao のブックマーク 2016/01/04 00:37
New Year Resolutions[scala]"DOT now has a mechanized proof of type soundness"2016/01/04 00:37
"DOT now has a mechanized proof of type soundness"
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.scala-lang.org2016/01/04
⚠️ Beware of Scams: since Feb 2024, scammers are using fake Scala websites to sell courses, please check you are using an official source. For most of us, the change of the year is an occasion for t...
7 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
"DOT now has a mechanized proof of type soundness"
このブックマークにはスターがありません。
最初のスターをつけてみよう!
New Year Resolutions
⚠️ Beware of Scams: since Feb 2024, scammers are using fake Scala websites to sell courses, please check you are using an official source. For most of us, the change of the year is an occasion for t...
7 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /