An intermediate code for functional languages. "Another

Implementation Technique for Applicative Languages", H. Glaser

et al, ESOP86, LNCS 213, Springer 1986.