Tcode

An intermediate language used by the Spineless Tagless G-machine (an abstract machine based on graph reduction) designed as a target for compilation of non-strict functional languages.

"The Spineless tagless G-machine", S. Peyton Jones et al, Fourth International Conference on Functional Programming Languages and Computer Architecture pp.184-201, ACM, Sept 1989.