プログラミング言語MLのサブセット「MinCaml」のコンパイラについて解説したチュートリアルです。mlとは元々は「定理証明」という基礎研究の「メタ言語」(Meta Language)として1970年代に開発された。

adamrocker のブックマーク 2007/01/26 11:24

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/66870/comment/adamrocker" data-user-id="adamrocker" data-entry-url="https://b.hatena.ne.jp/entry/s/min-caml.sourceforge.net/" data-original-href="https://min-caml.sourceforge.net/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fmin-caml.sourceforge.net%2F" data-user-icon="/users/adamrocker/profile.png">速攻MinCamlコンパイラ概説</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/MinCaml%E5%85%A5%E9%96%80">MinCaml入門</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/ml">ml</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/ocaml">ocaml</a>]</li></ul><br><p style="clear: left">プログラミング言語MLのサブセット「MinCaml」のコンパイラについて解説したチュートリアルです。mlとは元々は「定理証明」という基礎研究の「メタ言語」(Meta Language)として1970年代に開発された。</p><a class="datetime" href="https://b.hatena.ne.jp/adamrocker/20070126#bookmark-66870"><span class="datetime-body">2007/01/26 11:24</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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