资料来源 : Free On-Line Dictionary of Computing

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