On the Equivalence Between CMC and TIM

Lins, Rafael D.
Thompson, Simon
Jones, Simon L. Peyton

Open PDF

Open link

Publication date

November 1994

DOI

10.1017/S0956796800000939

Publisher

Cambridge University Press (CUP)

ISSN

0956-7968

Language

English

Abstract

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

On the Equivalence Between CMC and TIM

Abstract

Extracted data

On the Equivalence Between CMC and TIM

Abstract

Extracted data

Related items

Related items