Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!zephyr.ens.tek.com!tektronix!percy!data!kend
From: kend@data.UUCP (Ken Dickey)
Newsgroups: comp.lang.functional
Subject: Re: lamba calc
Message-ID: <501@data.UUCP>
Date: 10 Jun 91 15:40:16 GMT
References: <33472@usc.edu>
Organization: Microcosm, Beaverton, OR
Lines: 12

jamin@caldera.usc.edu (Sugih Jamin) writes:

>Does anyone have an implementation of an evaluator for the
>lambda calculus in a fuctional programming language such as 
>ML, i.e., to do beta conversion, etc?

There is a simple example in Gordon's _Programming Language Theory and
its Implementation_ (Prentice Hall, 1988, ISBN 0-13-730417-X).  Also,
try posting this request to comp.lang.scheme--there is a ton of code
out there.

-Ken Dickey				kend@data.uucp