線形理論？stack counterとかと関係していそうだが…

Lively Linear Lisp -- 'Look Ma, No Garbage!
よーわからん。翻訳すべきかなぁ？

通常のMLのプログラムに、Cでいうところのmalloc や free を自動的に挿入することにより、ガベージコレクションなしでもプログラムを走らせることができます。しかもC言語の場合と異なり、malloc やfree に相当する操作を挿入するのは型推論器ですから、間違ったメモリを開放してしまうことはありません

ここを見る限り関係ないわけではなさそう。