lamba calc

Article View: comp.lang.functional

Article #1010

Back to comp.lang.functional Previous Next

#1010

From: 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.

Technical Details

Message-ID: <33472@usc.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!caldera.usc.edu!jamin

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!caldera.usc.edu!jamin
From: jamin@caldera.usc.edu (Sugih Jamin)
Newsgroups: comp.lang.functional
Subject: lamba calc
Message-ID: <33472@usc.edu>
Date: 9 Jun 91 21:42:39 GMT
Sender: news@usc.edu
Organization: University of Southern California, Los Angeles, CA
Lines: 5
Nntp-Posting-Host: caldera.usc.edu
Originator: jamin@caldera.usc.edu