必要そうなリンクをペタペタ http://t.co/KJDA7vtrgt https://t.co/95R04FefjR

sprosym2014

TOKOROTEN のブックマーク 2014/08/24 10:20

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/53624422/comment/TOKOROTEN" data-user-id="TOKOROTEN" data-entry-url="https://b.hatena.ne.jp/entry/s/en.wikipedia.org/wiki/ATS_(programming_language)" data-original-href="https://en.wikipedia.org/wiki/ATS_(programming_language)" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FATS_(programming_language)" data-user-icon="/users/TOKOROTEN/profile.png">ATS (programming language) - Wikipedia</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/sprosym2014">sprosym2014</a>]</li></ul><br><p style="clear: left">必要そうなリンクをペタペタ <a href="http://t.co/KJDA7vtrgt" target="_blank" rel="noopener nofollow">http://t.co/KJDA7vtrgt</a> <a href="https://t.co/95R04FefjR" target="_blank" rel="noopener nofollow">https://t.co/95R04FefjR</a></p><a class="datetime" href="https://b.hatena.ne.jp/TOKOROTEN/20140824#bookmark-53624422"><span class="datetime-body">2014/08/24 10:20</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

ATS (programming language) - Wikipedia

en.wikipedia.org2011/08/05

In computing, ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support for combining theorem proving with practical programming t...

3 人がブックマーク・1 件のコメント

他のコメントを読む

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

はてなブックマーク

ATS (programming language) - Wikipedia

はてなブックマーク

公式Twitter

はてなのサービス