コンパイラの最適化としてのラムダ式の変形が、
サイモンペイトンジョーンズ先生@MSリサーチの博士論文。
ガイスティール先生の
> Rabbit: A Compiler for Scheme
も似たような話。