|SK - reduction machine wanted firstname.lastname@example.org (Staal Wilco J) (1991-03-21)|
|SK - reduction machine wanted email@example.com (1991-03-22)|
|From:||firstname.lastname@example.org (John Gateley)|
|In-Reply-To:||email@example.com's message of 21 Mar 91 16:01:47 GMT|
|Keywords:||theory, SK-combinators, lambda calculus|
|Date:||Fri, 22 Mar 91 15:25:01 CST|
Wilco Staal writes:
>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
Modula-2, C, Pascal, and Ada are all call-by-value (as opposed to
call-by-name) where Turner's combinator system (and all the following
research) are based on call-by-name. Also, you say that you are doing
a project on functional languages, and then mention a set of
imperative languages - do you really want side effects?
Bruce Duba and I are presenting a paper at MFPS on call-by-value
combinators, and Bruce has been working on combinator systems for
languages with side effects. Let me know if you want more info.
Return to the
Search the comp.compilers archives again.