『New Year Resolutions』へのコメント

"DOT now has a mechanized proof of type soundness"

scala

tarao のブックマーク 2016/01/04 00:37

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/275375364/comment/tarao" data-user-id="tarao" data-entry-url="https://b.hatena.ne.jp/entry/s/www.scala-lang.org/blog/2016/01/02/new-year-resolutions.html" data-original-href="https://www.scala-lang.org/blog/2016/01/02/new-year-resolutions.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.scala-lang.org%2Fblog%2F2016%2F01%2F02%2Fnew-year-resolutions.html" data-user-icon="/users/tarao/profile.png">New Year Resolutions</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/scala">scala</a>]</li></ul><br><p style="clear: left">&quot;DOT now has a mechanized proof of type soundness&quot;</p><a class="datetime" href="https://b.hatena.ne.jp/tarao/20160104#bookmark-275375364"><span class="datetime-body">2016/01/04 00:37</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

New Year Resolutions

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 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

New Year Resolutions

はてなブックマーク

公式Twitter

はてなのサービス