Article View: comp.lang.functional
Article #1012Re: lamba calc
From: Ken Dickey
Date: Mon, 10 Jun 1991 15:40
Date: Mon, 10 Jun 1991 15:40
12 lines
827 bytes
827 bytes
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
Technical Details
Message-ID:
<501@data.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!zephyr.ens.tek.com!tektronix!percy!data!kendReferences:
<33472@usc.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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