An intermediate code for functional languages. "Another Implementation Technique for Applicative Languages", H. Glaser et al, ESOP86, LNCS 213, Springer 1986.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Tuckals « TUI « Tukey, John « Tuki » tunafish » tune » tunnelling
