サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
パリ五輪
syntaxexclamation.wordpress.com
One of the first choice to make when starting the development of a compiler, or any program manipulating syntax with binders (e.g. programs with functions and variables), is how to represent these terms. Some specialized programming languages, like Beluga, have built-in facilities for this. But if you choose a general-purpose one, like OCaml, then you have plenty of choices: Named terms, De Bruijn
このページを最初にブックマークしてみませんか?
『syntaxexclamation.wordpress.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く