SK - reduction machine wanted

Staal Wilco J <>
21 Mar 91 16:01:47 GMT

          From comp.compilers

Related articles
SK - reduction machine wanted (Staal Wilco J) (1991-03-21)
SK - reduction machine wanted (1991-03-22)
| List of all articles for this month |

Newsgroups: comp.compilers
From: Staal Wilco J <>
Keywords: theory, SK-combinators, lambda calculus
Organization: Compilers Central
Date: 21 Mar 91 16:01:47 GMT

I'm doing a project on the compilation of higher-level functional
languages into SK- expressions and the execution of them.

I'm looking for an implementation of Turner's SK- reduction machine in an
imperative language (Modula-2, c, pascal, Ada in decreasing order of

Does anyone have such an implementation or at least a reference? Mail me
if you have. Many thanks in advance,

W. Staal -

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.