A Combinator-Based Compiler for a Functional Language.

Paul Hudak David A. Kranz A Combinator-Based Compiler for a Functional Language. 122-132 1984 POPL db/conf/popl/popl84.html#HudakK84