Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

LISP
1998

favoriteEmaildiscussreport

94views more LISP 1998»

Scheme: A Interpreter for Extended Lambda Calculus

13 years 4 months ago

Scheme: A Interpreter for Extended Lambda Calculus

Download www.brics.dk

Inspired by ACTORS [7, 17], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [2], but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. We wish to:

Gerald J. Sussman, Guy L. Steele Jr.

Real-time Traffic

Actors | LISP 1998 | LISP-like Language | Process Synchronization |

claim paper

Related Content

» A Tutorial Implementation of a Dependently Typed Lambda Calculus

» Embedding Pure Type Systems in the LambdaPiCalculus Modulo

» A Simple Semantics for ML Polymorphism

» Lazy XSL transformations

» Classical Program Extraction in the Calculus of Constructions

» A Dependent Set Theory

» Map fusion for nested datatypes in intensional type theory

» Verification of HigherOrder Computation A GameSemantic Approach

» PolyAML a polymorphic aspectoriented functional programming language

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	LISP
Authors	Gerald J. Sussman, Guy L. Steele Jr.

Comments (0)