SK - reduction machine wanted

Staal Wilco J <wjstaal@cs.vu.nl>
21 Mar 91 16:01:47 GMT

          From comp.compilers

Related articles
SK - reduction machine wanted wjstaal@cs.vu.nl (Staal Wilco J) (1991-03-21)
SK - reduction machine wanted gateley@rice.edu (1991-03-22)
| List of all articles for this month |

Newsgroups: comp.compilers
From: Staal Wilco J <wjstaal@cs.vu.nl>
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
interest).


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


W. Staal - wjstaal@cs.vu.nl
--


Post a followup to this message

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