On the Equivalence Between CMC and TIM

Article English OPEN
Lins, Rafael D. ; Thompson, Simon ; Jones, Simon L. Peyton (1994)

In this paper we present the equivalence between TIM, a machine developed to implement lazy functional programming languages, and the set of Categorical Multi-Combinators, a rewriting system developed with similar aims. A Complete revision of UKC - Lab.Report 67 (Submitted to Journal of Functional Programming)
Share - Bookmark