tuki

from The Free On-line Dictionary of Computing (8 July 2008)

Tuki

   An intermediate code for functional languages.  "Another
   Implementation Technique for Applicative Languages", H. Glaser
   et al, ESOP86, LNCS 213, Springer 1986.