大堀先生のPPL 2007招待講演スライド

が公開されています。SML#や関数型言語の実装などに興味があればぜひ。

コード複製による多相関数の実装で、なぜ対話環境やモジュール(structure)の分割コンパイルが実現困難なのか、そこだけまだよくわかっていませんが。もっとも、もしモジュール単位ではなく関数単位の分割コンパイルなどをしたらコードサイズが爆発してしまうことは確実です。