私は遅延評価の「実装」の話を尻鯛です。グラフリダクション？
手元にPeyton JonesのImplementingとImplementation of Functional Programmingの本があるんだけど
1990年とかで古過ぎ。
GHCはどんな風にコンパイルしてるのか，それなりにまとまった読み物はない？