http://www.is.titech.ac.jp/ppl2004/proceedings/p019.pdf 論理学とか数学とか難しすぎる論文... でも、木構造を配列にすることはできるらしい。

Lively Linear Lisp -- 'Look Ma, No Garbage! よーわからん。翻訳すべきかなぁ？線形論理って何？ML Kit with Regions とは？ 通常のMLのプログラムに、Cでいうところのmalloc や free を自動的に挿入することにより、ガベージコレクションなしでもプログラ…

http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=LinearLisp すべてのセルの参照カウンタを1に保ったままでLispの基本関数が実装できることを示しているらしい．したがって，不要になったセルはただちに回収できるので GCが不要になる． GC(ガベージコレクシ…