WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/137149185

An Interpreter for Extended Lambda Calculus: SCHEME

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.

Open All Close All

type

about

contributor

description

http://schema.org/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

name

http://schema.org/name

  • "An Interpreter for Extended Lambda Calculus: SCHEME"@en

workExample