「型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したもの」

nilab のブックマーク 2022/05/24 10:14

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/364172515/comment/nilab" data-user-id="nilab" data-entry-url="https://b.hatena.ne.jp/entry/s/www.ohmsha.co.jp/book/9784274069116/" data-original-href="https://www.ohmsha.co.jp/book/9784274069116/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.ohmsha.co.jp%2Fbook%2F9784274069116%2F" data-user-icon="/users/nilab/profile.png">型システム入門 プログラミング言語と型の理論 | Ohmsha</a><br><p style="clear: left">「型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したもの」</p><a class="datetime" href="https://b.hatena.ne.jp/nilab/20220524#bookmark-364172515"><span class="datetime-body">2022/05/24 10:14</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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