サイモンペイトンジョーンズ（最近の王立協会会員）から、「ストックハードウェアに遅延関数型言語を実装する：Spineless Tagless G-Machine」というペーパーを読みました。
現在、このペーパーは、Haskellを実装するときにHaskellを遅延言語にして、当時抱えていたいくつかの問題を解決した方法の一部です。
比較可能な唯一の論文は次のようです。Java仮想マシン用のスパインレスタグレスGマシンに基づく遅延関数型プログラムのコンパイルが利用可能な実装がないようです。
接線的に関連しているのは、HaskellをJavaにコンパイルすることです。ただし、このアプローチでは、スパインレスタグレスGマシンの実装をGHCに残し、出力を読み取ります。
私の質問は、GHC以外にスパインレスタグレスGマシンの実装はありますか？