skip to content
An Interpreter for Extended Lambda Calculus: SCHEME. Preview this item
ClosePreview this item
Checking...

An Interpreter for Extended Lambda Calculus: SCHEME.

Author: Gerald Jay Sussman; Guy Lewis Jr Steele; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
Publisher: Ft. Belvoir Defense Technical Information Center DEC 1975.
Edition/Format:   Book : English
Database:WorldCat
Summary:
Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Gerald Jay Sussman; Guy Lewis Jr Steele; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
OCLC Number: 227422534
Description: 46 p.

Abstract:

Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP; (2) explain how to use these control structures, independent of such issues as pattern matching and data base manipulation; (3) have a simple concrete experimental domain for certain issues of programming semantics and style.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/227422534>
library:oclcnum"227422534"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/227422534>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"DEC 1975"
schema:datePublished"1975"
schema:description"Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP; (2) explain how to use these control structures, independent of such issues as pattern matching and data base manipulation; (3) have a simple concrete experimental domain for certain issues of programming semantics and style."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/137149185>
schema:inLanguage"en"
schema:name"An Interpreter for Extended Lambda Calculus: SCHEME."@en
schema:numberOfPages"46"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.