Abstract is missing.
- Laws in MirandaSimon J. Thompson. 1-12
- A Simple Applicative Language: Mini-MLDominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn. 13-27
- Integrating Functional and Imperative ProgrammingDavid K. Gifford, John M. Lucassen. 28-38
- Experience with an Uncommon LISPCyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian A. Padget. 39-53
- Desiderata for the Standardization of LISPJulian A. Padget. 54-66
- Design of an Optimizing, Dynamically Retargetable Compiler for Common LispRodney A. Brooks, David B. Posner, James L. McDonald, Jon L. White, Eric Benson, Richard P. Gabriel. 67-87
- Code Generation Techniques for Functional LanguagesJon Fairbairn, Stuart Wray. 94-104
- An Architecture for Mostly Functional LanguagesThomas F. Knight. 105-112
- Mechanisms for Efficient Multiprocessor Combinator ReductionMichel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan. 113-121
- The CURRY ChipJohn D. Ramsdell. 122-131
- Variations on Strictness AnalysisAdrienne Bloss, Paul Hudak. 132-142
- Expansion-Passing Style: Beyond Conventional MacrosR. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes. 143-150
- Hygienic Macro ExpansionEugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba. 151-161 [doi]
- Exact Real Arithmetic: A Case Study in Higher Order ProgrammingHans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O Donnell. 162-173
- Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System BuildingJon L. White. 174-191
- LISP on a Reduced-Instruction-Set-ProcessorPeter Steenkiste, John L. Hennessy. 192-201
- Partitioning Parallel Programs for Macro-DataflowVivek Sarkar, John L. Hennessy. 202-211
- NORMA: A Graph Reduction ProcessorMark Scheevel. 212-219
- The Four-Stroke Reduction EngineChris D. Clack, Simon L. Peyton Jones. 220-232
- On the Use of LISP in Implementing Denotational SemanticsPeter Lee, Uwe F. Pleban. 233-248
- Semantics Directed Compiling for Functional LanguagesHanne Riis Nielson, Flemming Nielson. 249-257
- Connection GraphsAlan Bawden. 258-265
- Implementing Functional Languages in the Categorical Abstract MachineMichel Mauny, Ascánder Suárez. 266-278
- Connection Machine LISP: Fine-Grained Parallel Symbolic ProcessingGuy L. Steele Jr., W. Daniel Hillis. 279-297
- The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective TowerMitchell Wand, Daniel P. Friedman. 298-307
- A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary)John C. Mitchell. 308-319
- Equations, Sets, and Reduction Semantics for Functional and Logic ProgrammingBharat Jayaraman, Frank S. K. Silbermann. 320-331
- Towards a Semantic Theory for Equational Programming LanguagesSatish R. Thatte. 332-342
- A Protocol for Distributed Reference CountingClaus-Werner Lermen, Dieter Maurer. 343-350
- A Semantic Model of Reference Counting and its Abstraction (Detailed Summary)Paul Hudak. 351-363
- Distributed Copying Garbage CollectionMartin Rudalics. 364-372