>>358
そのrenaming problemを解決するのが、
lambda liftingによるsuper combinater化ですね。
YHCってのがsuper combinaterをILにした実装だったけど、
このプロジェクトは立ち消えになったみたいですね。
http://www.haskell.org/haskellwiki/Yhc

前はHaskell上でlambda式評価器を書いていたDockinsが、
YHC bytecodeのverificationやってましたけど。
http://www.cs.princeton.edu/~rdockins/lambda/home
http://www.cs.princeton.edu/~rdockins/presentations/tfp2007/slideshow.xhtml
http://www.cs.princeton.edu/~rdockins/pubs/tfp2007.pdf