T(ID:1438/t::002)


Functional pl




Structures:
References:
  • Ida et al, "T: A Simple Reduction Language Based on Combinatory Term Rewriting", Proc of Prog Future Generation Computers, 1988. view details