Tuki

An intermediate code for functional languages.

"Another Implementation Technique for Applicative Languages", H. Glaser et al, ESOP86, Lecture Notes in Computer Science 213, Springer-Verlag, 1986.