Several technical reports by Luca Cardelli: Galileo: A Strongly Typed, Interactive Conceptual Language; A Semantics of Multiple Inheritance; Fragments of Behavior (a user interface paradigm)
Artificial Intelligence Memo No. 259.
Technical Report TR-83-25
Revised edition of Chapter 2 of "Edinburgh LCF" by M. Gordon, R. Milner, and C. Wadsworth.
Two issues: Volume I, Number 1 (January 1983) and Volume I, Number 3 (December 1983)
Reprints of various papers: The 2.PAK Language: Goals and Descriptions (Lucio F. Melli); A Model and Stack Implementation of Multiple Environments (Daniel G. Bobrow and Ben Wegbreit); Retrieval from Context Trees (Ben Wegbreit); Faster Retrieval from Context Trees (Ben Wegbreit); A Goal-Oriented Language for the Computer (Harry E. Pople, Jr.); Pattern Matching (Caspar Schwarz)
Language Reference Manual; Options Manual
Technical Report: QA4: A Procedural Calculus for Intuitive Reasoning (SRI Artificial Intelligence Center Technical Note 73); A Language for Writing Problem-Solving Programs (Information Processing 1971); The QA4 language applied to robot planning (AFIPS 1972 FJCC); Reasoning About Programs (Artificial Intelligence, Volume 5, 1974)
A QLISP Reference Manual (Artificial Intelligence Center Technical Note 118); QLISP: A Language for the Interactive Development of Complex Systems (Technical Note 120); Published version of Technical Note 120 (AFIPS NCC 1976); Artificial Intelligence - Research and Applications : Progress Report (May 1965)
Line printer listing
Two copies of a paper and a set of lecture slides, all with the title: TABLOG: The Deductive-Tableau Programming Language
Various papers and reports on advanced programming environments: Winograd, Gruessay, Eisenstadt & Laubsch, Hewitt & Smith, Rich & Waters, Lantz & Rashid, Fischer, Fischer, etc.