%A Jogn McCarthy
%T Lisp - notes on its past and future
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P v-viii

%A J.A. Cambell
%A J.P. Fitch
%T Symbolic computing with and without Lisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 1-5
%K symbolic algebra

%A Bernard S. Greenberg
%T Prose and CONS - Multics Emacs: a commercial text processing system
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 6-12

%A Gianfranco Prini
%T Explicit parallelism in Lisp-like languages
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 13-18

%A Mitchell Wand
%T Continuation-base multiprocessing
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 19-28
%K parallelism

%A Donald P. McKay
%A Stuart C. Shapiro
%T MULTI - a Lisp base multiprocessing system
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 29-37
%K parallelism

%A Toshaki Kurokawa
%T The function class
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 38-45

%A Robert Cartwright
%T A constructive alternative to axiomatic data type definitions
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 46-55

%A Steven S. Muchnick
%A Uwe F. Pleban
%T A semantic comparison of Lisp and SCHEME
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 56-64

%A James H. Davenport
%A Richard D. Jenks
%T Modlisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 65-74

%A Ira P. Goldstein
%A Daniel G. Bobrow
%T Extending object oriented programming in Smalltalk
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 75-81

%A Erik Sandewall
%A Henrik Sorenson
%A Claes Stromberg
%T A system of communicating residential environments
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 82-89

%A Henry Lieberman
%A Carl Hewitt
%T A session with Tinker: interleaving program testing with program writing
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 90-99

%A Fred H. Lakin
%T Computing with text-graphics forms
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 100-106

%A Carl Hewitt
%T Design of the APIARY for actor systems
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 107-118
%K actor systems

%A Jon L. White
%T Address/memory management for a gigantic Lisp environment
or, GC considered harmful
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 119-127

%A T.J.W. Clarke
%A P.J.S. Gladstone
%A C.D. MacLean
%A A.C. Norman
%T SKIM - the S,K,I reduction machine
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 128-135

%A R.M. Burstall
%A D.B. MacQueen
%A D.T. Sannella
%T HOPE: an experimental applicative language
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 136-143

%A F. Lockwood Morris
%A Jerald S. Schwarz
%T Computing cyclic list structures
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 144-153

%A Drew McDermott
%T An efficient environment allocation scheme
in an interpreter for a lexically scoped Lisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 154-162

%A Guy Lewis Steele,\ Jr.
%A Gerald Jay Sussman
%T The dream of a lifetime: a lazy variable extent mechanism
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 163-172

%A Barbara K. Steele
%T Strategies for data abstraction in Lisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 173-178

%A Kent M. Pitman
%T Special forms in Lisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 179-187

%A Mitchell L. Model
%T Multiprocessing via intercommunicating Lisp systems
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 188-195

%A Robert M. Keller
%T Divide and CONCer: data structuring in applicative multiprocessing systems
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 196-202

%A Jed B. Marti
%T Compilation techniques for a control-flow concurrent Lisp system
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 203-207

%A Par Emanuelson
%A Anders Haraldsson
%T On compiling embedded languages in Lisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 208-215

%A William Rowan
%T A Lisp compiler producing compact code
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 216-222

%A Larry M. Masinter
%A L. Peter Deutsch
%T Local optimization in a compiler for stack-based Lisp machines
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 223-230

%A L. Peter Deutsch
%T ByteLisp and its Alto implementation
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 231-242

%A Richard R. Burton
%A Larry M. Masinter
%A Daniel G. Bobrow
%A Willie Sue Hagueland
%A Ronald M. Kaplan
%A B.A. Sheil
%T Overview and status of DoradoLisp
%J Conference Record of the 1980 LISP Conference
%C Stanford, California
%D August 1980
%K slfp slfp80
%P 243-247

%A R.J.M. Hughes
%T Super-combinators:
a new implementation technique for applicative languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 1-10

%A Neil D. Jones
%A Steven S. Muchnick
%T A fixed-program machine for combinator expression evaluation
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 11-20
%K implementation

%A J.R. Kennaway
%A M.R. Sleep
%T Expressions as processes
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 21-28

%A Corrado Bohm
%T Combinatory foundation of functional programming
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 29-36

%A G. Feldman
%T Functional specification of a text editor
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 37-46
%K implementation
%X Presents a formal specification of "ed" and some interesting discussion
on the strengths and weaknesses of FP (as a specification language).

%A Valentin F. Turchin
%A Robert M. Nirenberg
%A Dimitri V. Turchin
%T Experiments with a supercompiler
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 47-55

%A Michael J. Wise
%T A parallel Prolog: the construction of a data driven model
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 55-66

%A Chris D.S. Moss
%T How to define a language using Prolog
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 67-73

%A Paul R. Eggert
%A D. Val Schorre
%T Logic enhancement:
a method for extending logic programming languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 74-80

%A Raymond L. Bates
%A David Dyer
%A Johannes A.G.M. Koomen
%T Implementation of Interlisp on the VAX
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 81-87

%A Martin L. Griss
%A Eric Benson
%A Gerald Q. Maguire,\ Jr.
%T PSL: a portable Lisp system
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 88-97

%A Guy L. Steele,\ Jr.
%T An overview of Common Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 98-107

%A Rodney A. Brooks
%A Richard P. Gabriel
%A Guy L. Steele,\ Jr.
%T S-1 Common Lisp implementation
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 108-113

%A Jonathan A. Rees
%A Norman I. Adams, IV
%T T: a dialect of Lisp; or LAMBDA: the ultimate software tool
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 114-122

%A Richard P. Gabriel
%A Larry M. Masinter
%T Performance of Lisp systems
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 123-142

%A Claudio Gutierrez
%T Prolog compared with Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 143-149

%A Simon L. Peyton-Jones
%T An investigation of the relative efficiencies
of combinators and lambda expressions
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 150-158
%K reduction

%A Jeffrey L. Dawson
%T Improved effectiveness from a real time Lisp garbage collector
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 159-167

%A Paul Hudak
%A Robert M. Keller
%T Garbage collection and task deletion
in distributed applicative processing systems
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 168-178

%A Peter Henderson
%T Functional geometry
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 179-187

%A Michael P. Georgeff
%T A scheme for implementing functional values on a stack machine
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 188-195

%A Jon L. White
%T Constant time interpretation for shallow-bound variables
in the presence of mixed SPECIAL/LOCAL declarations
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 196-200

%A Gyula Mago
%T Data sharing in an FFP machine
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 201-207
%K implementation, architecture

%A E. Goto
%A T. Soma
%A N. Inada
%A T. Ida
%A M. Idesawa
%A K. Hiraki
%A M. Suzuki
%A K. Shimizu
%A B. Philipov
%T Design of a Lisp machine - FLATS
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 208-215

%A J. Barkley Rosser
%T Highlights of the history of the lambda-calculus
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 216-225
%K algebra

%A William Clinger
%T Nondeterministic call by need is neither lazy nor by name
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 227-234

%A A. Toni Cohen
%A Thomas J. Myers
%T Toward an algebra of nondeterministic programs
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 235-242

%A D.B. MacQueen
%A Ravi Sethi
%T A semantic model of types for applicative languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 243-252

%A Robert Cartwright
%A James Donahue
%T The semantics of lazy (and industrious) evaluation
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Pittsburgh, Pennsylvania
%D August 1982
%K slfp slfp82
%P 253-264

%A Rodney A. Brooks
%A Richard P. Gabriel
%T A critique of Common Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 1-8
%K standards, portability, transportability, implementation problems

%A Robert J. Halstead,\ Jr.
%T Implementation of multilisp: Lisp on a multiprocessor
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 9-17
%K parallelism, scheduling, garbage collection

%A Christopher T. Hayes
%A Daniel P. Friedman
%T Engines build process abstractions
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 18-24
%K timed preemption, continuations, time-sharing, process scheduler

%A Richard P. Gabriel
%A John McCarthy
%T Queue-based multi-processing Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 25-44
%K parallelism, language primitives, performance, tuning

%A Philip Wadler
%T Listlessness is better than laziness:
lazy evaluation and garbage collection at compile time
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 45-52
%K program transformation

%A Allen Goldberg
%A Robert Paige
%T Stream processing
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 53-62

%A Francoise Bellegarde
%T Rewriting systems on FP expressions
that reduce the number of sequences they yield
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 63-73

%A John S. Givler
%A Richard B. Kieburtz
%T Schema recognition for program transformations
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 74-84

%A Pierre Cointe
%A Xavier Rodet
%T Formes: as object and time oriented system
for music composition and synthesis
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 85-95

%A Roger B. Dannenberg
%T Arctic: a functional language for real-time control
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 96-103

%A Mary Sheeran
%T muFP, a language for VLSI design
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 104-112

%A Jerome Chailloux
%A Jean-Marie Hullot
%T LE Lisp, a portable and efficient Lisp system
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 113-122

%A G. Stefan
%A A. Paun
%A V. Bistriceanu
%A A. Birnbaum
%T Dialisp - a Lisp machine
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 123-128

%A Raymond L. Bates
%A David Dyer
%A Mark Feber
%T Recent developments in ISI-Interlisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 129-139

%A Hiroshi G. Okuno
%A Ikuo Takeuchi
%A Nobuyaso Osato
%A Yasushi Hibino
%A Kazufumi Watanabe
%T TAO: a fast interpreter-centered Lisp system on Lisp machine ELIS
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 140-149

%A Skef Wholey
%A Scott E. Fahlman
%T The design of an instruction set for Common Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 150-158

%A W.R. Stoye
%A T.J.W. Clarke
%A A.C. Norman
%T Some practical methods for rapid combinator reduction
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 159-166
%K SKIM, SKIM-II, hardware, architecture, performance

%A Paul Hudak
%A Benjamin Goldberg
%T Experiments in diffused combinator reduction
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 167-176
%K graph reduction, evaluation strategy, architecture, reduction by demand

%A Ralph E. Griswold
%T Expression evaluation in the Icon programming language
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 177-183
%K generators, nondeterministic control structures

%A Robin Milner
%T A proposal for standard ML
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 184-197
%K typed functional programming language, language definition

%A David MacQueen
%T Modules for standard ML
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 198-207
%K typed functional programming language, software engineering

%A Luca Cardelli
%T Compiling a functional language
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 208-217
%K ML, typed functional programming language, implementation

%A Lennart Augustsson
%T A compiler for lazy ML
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 218-227
%K LML, typed functional programming language, implementation

%A Emmanuel Saint-James
%T Recursion is more efficient than iteration
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 228-234
%K Lisp implementation, tail recursion optimisation

%A David A. Moon
%T Garbage collection in a large Lisp system
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 235-246
%K Lisp implementation, performance, virtual memory, architecture,
Symbolics 3600

%A Henry Lieberman
%T Steps towards better debugging tools for Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 247-255
%K Zstep, stepper, single step debugging, visual display

%A Rodney A. Brooks
%T Trading data space for reduced time and code space
in real-time garbage collection on stock hardware
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 256-262
%K copying compacting, indirection pointers

%A Takuya Katayama
%T Type inference and type checking for functional programming languages:
a reduced computation approach
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 263-272
%K data domain, data type domain, relational algebraic systems

%A Alberto Pettorossi
%T A powerful strategy for deriving efficient programs by transformation
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 273-281
%K program transformation, linear recursive, iterative, tupling strategy

%A Walter Drosch
%A Bernhard Moller
%T Busy and lazy FP with infinite objects
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 282-292
%K Backus FP, rewriting rules, semantics, algebra of infinite objects

%A Christopher T. Haynes
%A Daniel P. Friedman
%A Mitchell Wand
%T Continuations and coroutines
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 293-298
%K first class continuations, abstraction, program semantics

%A Herbert Stoyan
%T Early Lisp history (1956-1959)
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 299-310
%K development of Lisp

%A Gert Smolka
%T Making control and data flow in logic programs explicit
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 311-322
%K Prolog extensions, totality assertions, functional notation, verification

%A Yonathan Malachi
%A Zohar Manna
%A Richard Waldinger
%T TABLOG: the deductive-tableau programming language
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 323-330
%K functional logic programming, unification, nonclausal resolution, rewriting

%A Jim des\ Rivieres
%A Brian Cantwell Smith
%T The implementation of procedurally reflective languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 331-347
%K applicative functional interpreter, level-shifting processor, Lisp, 3-Lisp

%A Daniel P.Friedman
%A Mitchell Wand
%T Reification: reflection without metaphysics
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 348-355
%K applicative functional interpreter, language extension, 3-Lisp

%A William Clinger
%T The Scheme 311 compiler: an exercise in denotational semantics
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%C Austin, Texas
%D July 1984
%K slfp slfp84
%P 356-364
%K correctness proof, implementation, interactive compiler

%A Simon Thompson
%T Laws in Miranda
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A D. Clement
%A J. Despeyroux
%A T. Despeyroux
%A G. Kahn
%T A simple applicative language: mini-ML
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A David K. Gifford
%T Integrating functional and imperative programming
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Cyril N. Alberga
%A Chris Bosman-Clark
%A Martin Mikelsons
%A Mary S. Van\ Deusen
%A Julian Padget
%T Experience with an uncommon Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Julian Padget
%T Desiderata for the standardization of Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Rodney Brooks
%A David Posner
%A Eric Benson
%A Jim McDonald
%A Jon L. White
%T Design of an optimizing, dynamically retargetable compiler
for Common Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A David H. Bartley
%A John C. Jensen
%T The implementation of PC Scheme
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A J. Fairbairn
%A S.C. Wray
%T Code generation techniques for functional languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Tom Knight
%T An architecture for mostly functional languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A M. Castan
%A M.-H. Durand
%A G. Durrieu
%A B. Lecussan
%A M. Lemaitre
%T Mechanisms for efficient multiprocessor combinator reduction
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A John D. Ramsdell
%T The CURRY chip
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Adrienne Bloss
%A Paul Hudak
%T Variations on strictness analysis
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A R. Kent Dybvig
%A Daniel P. Friedman
%A Christopher T. Haynes
%T Flexible syntactic expansions
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A E. Kohlbecker
%A D.P. Friedman
%A M. Felleisen
%A B. Duba
%T Hygienic macro expansion for lexically scoped languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Hans-J. Boehm
%A Robert Cartwright
%A Mark Riggle
%A Michael J. O'Donnell
%T Exact real arithmetic: a casy study in higher order programming
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A John McCarthy
%T The history of Lisp
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Jon L. White
%T A case study on efficient, portable Lisp system building:
reconfigurable, re-targetable bignums
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Peter Steenkiste
%A John Hennessy
%T Lisp on a reduced-instruction-set-processor
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86
%K RISC

%A Vivek Sarkar
%T Partitioning parallel programs for macro-dataflow
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Mark Scheeval
%T NORMA: a graph reduction processor
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Chris Clack
%A Simon L. Peyton Jones
%T The four-stroke reduction engine
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Peter Lee
%A Uwe Pleban
%T On the use of Lisp in implementing denotational semantics
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Hanne R. Nielson
%A Flemming Nielson
%T Semantics directed compiling for functional languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Alan Bawden
%T Connection graphs
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Michel Mauny
%A Ascander Suarez
%T Implementing functional languages in the categorical abstract machine
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Guy L. Steel,\ Jr.
%A W. Daniel Hillis
%T Connection Machine Lisp: fine-grained parallel symbolic processing
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86
%K CMLisp CM-Lisp

%A Mitchell Wand
%A Daniel P. Friedman
%T The mystery of the tower revealed:
a non-reflective description of the reflective tower
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A John C. Mitchell
%T A type-inference approach to reduction properties and semantics
of polymorphic expressions
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Bharat Jayaraman
%T Equations, sets, and reduction semantics
for functional and logic programming
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Satish Thatte
%T Towards a semantic theory for equational programming languages
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Claus-Werner Lermen
%A Dieter Maurer
%T A protocol for distributed reference counting
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Paul Hudak
%T A semantic model of reference counting and its abstraction
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86

%A Martin Rudalics
%T Distributed copying garbage collection
%J Conference Record of the ACM Symposium on LISP and Functional Programming
%D 1986
%K slfp slfp86