The 1980 LISP Conference: Stanford, California, USA

Invited Address

Session 1

• J. Campbell, John Fitch: Symbolic Computing with and without Lisp. 1-5
• B. Greenberg: Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP. 6-12

Session 2

• G. Print: Explicit Parallelism in LISP-like Languages. 13-18
• Mitchell Wand: Continuation-Based Multiprocessing. 19-28
• Donald P. McKay, Stuart C. Shapiro: MULTI - A LISP Based Multiprocessing System. 29-37

Session 3

• Toshiaki Kurokawa: The Function-Class. 38-45
• Robert Cartwright: A Constructive Alternative to Axiomatic Data Type Definitions. 46-55
• Steven S. Muchnick, Uwe F. Pleban: A Semantic Comparison of LISP and Scheme. 56-64
• James H. Davenport, Richard D. Jenks: MODLISP. 65-74

Session 4

• Ira P. Goldstein, Daniel G. Bobrow: Extenting Object Oriented Programming in Smalltalk. 75-81
• Erik Sandewall, Henrik Sörensen, Claes Strömberg: A System of Communicating Residential Environments. 82-89
• Henry Lieberman, Carl Hewitt: A Session with Tinker: Interleaving Program Testing with Program Writing. 90-99

Session 5

• Fred Lakin: Computing with Text-Graphics Forms. 100-106
• Carl Hewitt: Design of the APIARY for Actor Systems. 107-118
• J. White: Address/Memory Management for a Gigantic LISP Environment. 119-127

Session 6

• T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman: SKIM - The S, K, I Reduction Machine. 128-135
• Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. 136-143
• L. Morris, J. Schwarz: Computing Cyclic List Structures. 144-153

Session 7

• Drew V. McDermott: An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP. 154-162
• Guy L. Steele Jr., Gerald J. Sussman: The Dream of Lifetime: A Lazy Variable Extent Mechanism. 163-172
• B. Steele: Strategies for Data Abstraction in LISP. 173-178
• Kent M. Pitman: Special Forms in LISP. 179-187

Session 8: Panel Discussion

Session 9

• M. Model: Multiprocessing via Intercommunicating LISP Systems. 188-195
• Robert M. Keller: Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. 196-202
• J. Marti: Compilation Techniques for a Control-Flow Concurrent LISP System. 203-207
• P. Emanuelson, Anders Haraldsson: On Compiling Embedded Languages in LISP. 208-215

Session 10

• W. Rowan: A LISP Compiler Producing Compact Code. 216-222
• Larry Masinter, L. Peter Deutsch: Local Optimization in a Compiler for Stack-based LISP Machines. 223-230
• L. Peter Deutsch: ByteLisp and its Alto Implementation. 231-242
• Richard R. Burton, Larry Masinter, Daniel G. Bobrow, W. Haugeland, Ronald M. Kaplan, B. A. Sheil: Overview and Status of DoradoLISP. 243-