lamba calc

Thread View: comp.lang.functional

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Sugih Jamin Sun, 09 Jun 1991 21:42

#1010

Author: Sugih Jamin
Date: Sun, 09 Jun 1991 21:42

5 lines
647 bytes

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?
-- 
sugih`                                            Use e-mail, save a tree.

Re: lamba calc

#1012

Author: Ken Dickey
Date: Mon, 10 Jun 1991 15:40

12 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads