The 1980 LISP Conference: Stanford, California, USA

Invited Address

Session 1

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

Session 2

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

Session 3

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

Session 4

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

Session 5

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

Session 6

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

Session 7

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

Session 8: Panel Discussion

Session 9

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

Session 10

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