Tcode(ID:1527/tco001)

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.

Structures:
References:
  • Peyton-Jones, S. et al, "The Spineless tagless G-machine", Fourth Intl Conf Func Prog Langs and Comp Arch pp.184-201, ACM Sept 1989. view details