• Publications
  • Influence
Revised5 Report on the Algorithmic Language Scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy LewisExpand
Structure and Interpretation of Computer Programs
TLDR
Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models, appropriate for an introduction to computer science courses, as well as programming languages and program design. Expand
Revised4 report on the algorithmic language scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy LewisExpand
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
TLDR
A rule-based system for computer-aided circuit analysis, called EL, is written in a rule language called ARS, where rules are implemented by ARS as pattern-directed invocation demons monitoring an associative data base. Expand
Amorphous computing
TLDR
Newton’s language Regiment, also a functional language, is designed to gather streams of data from regions of the amorphous computer and accumulate them at a single point, which allows Regiment to provide region-wide summary functions that are difficult to implement in Proto. Expand
Scheme: A Interpreter for Extended Lambda Calculus
TLDR
A completely annotated interpreter for SCHEME, written in MacLISP, is presented to acquaint programmers with the tricks of the trade of implementing non-recursive control structures in a recursive language like LISP. Expand
Information accountability
With access control and encryption no longer capable of protecting privacy, laws and systems are needed that hold people accountable for the misuse of personal information, whether public or secret.
Chaotic Evolution of the Solar System
TLDR
This calculation confirms that the evolution of the solar system as a whole is chaotic, with a time scale of exponential divergence of about 4 million years, and indicates that the Jovian planet subsystem is chaotic. Expand
Structure and Interpretation of Computer Programs, Second Edition
TLDR
Higher-order functions enable us to represent these abstractions explicitly as elements in the authors' programming language, so that they can be handled just like other computational elements. Expand
...
1
2
3
4
5
...