『Philip Wadler's home page』へのコメント

Haskellのえらい人。いろいろやっているなぁ。

kgbu のブックマーク 2010/02/24 01:51

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/128988/comment/kgbu" data-user-id="kgbu" data-entry-url="https://b.hatena.ne.jp/entry/s/homepages.inf.ed.ac.uk/wadler/" data-original-href="https://homepages.inf.ed.ac.uk/wadler/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fhomepages.inf.ed.ac.uk%2Fwadler%2F" data-user-icon="/users/kgbu/profile.png">Philip Wadler's home page</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/computer">computer</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/haskell">haskell</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/logic">logic</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/semantics">semantics</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%AB%96%E6%96%87">論文</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%81%82%E3%81%A8%E3%81%A7%E8%AA%BF%E3%81%B9%E3%81%9F%E3%81%84">あとで調べたい</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/programming-functional">programming-functional</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/programming">programming</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/framework">framework</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/XML">XML</a>]</li></ul><br><p style="clear: left">Haskellのえらい人。いろいろやっているなぁ。</p><a class="datetime" href="https://b.hatena.ne.jp/kgbu/20100224#bookmark-128988"><span class="datetime-body">2010/02/24 01:51</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Philip Wadler's home page

homepages.inf.ed.ac.uk2005/04/03

Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: ...

18 人がブックマーク・2 件のコメント

他のコメントを読む

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

はてなブックマーク

Philip Wadler's home page

はてなブックマーク

公式Twitter

はてなのサービス