Scheme: An Interpreter for Extended Lambda Calculus

Sussman, & Steele. (1975). Scheme: An Interpreter for Extended Lambda Calculus.

Type

Report

Intellectual base

Grey literature

Year

1975

Link

https://dspace.mit.edu/handle/1721.1/5794

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Portable Context Bundle
  • The decisive structural fact is the binding rule: under lexical (captured) scoping, add5's free reference resolves against the environment where it was defined (n = 5), yielding 15 — not against the ambient environment at the call site.

    This sourceIntroduces lexically-scoped closures resolving free references against the enclosing definition environment.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:1b9e6ad91886 · see in the full table