Endpaper: Technical issues of separation in function cells and value cells

@article{Gabriel1988EndpaperTI,
  title={Endpaper: Technical issues of separation in function cells and value cells},
  author={Richard P. Gabriel and Kent M. Pitman},
  journal={LISP and Symbolic Computation},
  year={1988},
  volume={1},
  pages={81-101}
}
SummaryThe bulk of arguments that focus on clean semantics and notational simplicity tend to favor uniting the function and value namespaces. In spite of this, there are those who hold strongly to a belief that a two-namespace system affords useful expressive power that they are unwilling to do without. In the end, practical considerations favor the status quo for Common Lisp. There are a large number of improvements beyond a single namespace that could be made to Common Lisp that would clean… 

Hygienic macro technology

TLDR
The interplay between the desire for standardization and the development of new algorithms is a major theme of that story, and the ways in which hygienic macro technology has been adapted into recent non-parenthetical languages are surveyed.

An Array and List Processing System

TLDR
It is shown how using their common features as design principles, the mathematical power of APL and the flexibility of LISP are combined into a simple yet effective tool for diverse system engineering tasks.

The Evolution of Lisp

TLDR
The development chronologically from the era of the PDP-6, through the heyday of Interlisp and MacLisp, past the ascension and decline of special purpose Lisp machines, to the present era of standardization activities is traced, including some reflections on the forces that have driven the evolution of Lisp.

The evolution of Lisp

TLDR
The development of Lisp is traced chronologically from the era of the PDP-6, through the heyday of Interlisp and MacLisp, past the ascension and decline of special purpose Lisp machines, to the present era of standardization activities, which includes some reflections on the forces that have driven the evolution of Lisp.

A history of Clojure

  • R. Hickey
  • Computer Science
    Proc. ACM Program. Lang.
  • 2020
TLDR
The motivation behind the initial development of Clojure and the rationale for various design decisions and language constructs are recounted, and its evolution subsequent to release and adoption is covered.

A Syntactic Theory of Dynamic Binding

  • L. Moreau
  • Computer Science
    High. Order Symb. Comput.
  • 1997
TLDR
A syntactic theory is presented that enables the programmer to perform equational reasoning on programs using dynamic binding and it is proved to be sound and complete with respect to derivations allowed on programs in “dynamic-environment passing style”.

Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler

TLDR
A speculative inlining approach is presented which is portable and achieves good performance while fully conforming to the semantics of Scheme, and has been implemented in a mature Scheme to C compiler.

Mary Had a Little Lambda: Implementing a Minimal Lisp for Assisting with Education

TLDR
This report describes the implementation of a minimal version of Lisp for use in teaching programmers who have some experience in another language, and reports on the design and philosophy of this language, Mary, and the most important features of this dialect.

The AutoLISP Platform for Computer Aided Design

TLDR
Over fifteen years ago, Autodesk revolutionized the CAD industry with the introduction of a truly usable drafting package able to run effectively on personal computers and sparked a second revolution with the introducing of the Lisp programming language as the system's primary customization tool.

GNU epsilon - an extensible programming language

TLDR
Formellement un exemple d’analyse statique et nous prouvons une propriete de soundness par apport a la semantique dynamique, pour permettre l’execution e-cace de programmes paralleles.

References

SHOWING 1-10 OF 10 REFERENCES

Connection Machine Lisp: fine-grained parallel symbolic processing

TLDR
A new data structure, the xapping, that is like a sparse array whose elements can be processed in parallel, suitable for implementation by fine.grained parallel computers as the Connection Machine System and NON- VON.

Syntactic extensions in the programming language LISP

TLDR
A new macro declaration tool is designed that addresses each of the five problems from which the traditional tools suffer, and a new macro expansion algorithm is developed that eliminates the capturing problem.

Implementation of multilisp: Lisp on a multiprocessor

TLDR
Multilisp is an extension of Lisp (more specifically, of the Lisp dialect Scheme) with additional operators and additional semantics to deal with parallel execution with novel techniques used for task scheduling and garbage collection.

LISP 1.5 Programmer's Manual

The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing,

Performance and evaluation of Lisp systems

TLDR
This final report of the Stanford Lisp Performance Study is the first book to present descriptions on the Lisp implementation techniques actually in use and can serve as a handbook to the implementation details of all of the various current Lisp expressions.

S-1 Common Lisp implementation

TLDR
A Lisp implementation for the Lawrence Livermore National Laboratory S-1 Mark IIA computer is developing, which is a descendant of MacLisp and Lisp Machine Lisp.

Desiderata for the standardization of LISP

Trabajo presentado a la ACM Conference on LISP and Functional Programming, celebrada en Cambridge-Massachusetts (US) en 1986.-- et al.

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.

Common Lisp the Language

TLDR
This greatly expanded edition of the defacto standard is written by the Vice- Chairman of X3J13 (the ANSI committee responsible for the standardization of Common Lisp) and contains the entire text of the first edition plus six completely new chapters.

The revised Maclisp manual