LISP and Functional Programming 1986: Cambridge, Massachusetts, USA

Session 1

• Simon J. Thompson: Laws in Miranda. 1-12
• Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn: A Simple Applicative Language: Mini-ML. 13-27
• David K. Gifford, John M. Lucassen: Integrating Functional and Imperative Programming. 28-38

Session 2

• Cyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian A. Padget: Experience with an Uncommon LISP. 39-53
• Julian A. Padget: Desiderata for the Standardization of LISP. 54-66
• Rodney A. Brooks, David B. Posner, James L. McDonald, Jon L. White, Eric Benson, Richard P. Gabriel: Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp. 67-87
• David H. Bartley, John C. Jensen: The Implementation of PC Scheme. 88-93

Session 3

• Jon Fairbairn, Stuart Wray: Code Generation Techniques for Functional Languages. 94-104
• Thomas F. Knight: An Architecture for Mostly Functional Languages. 105-112
• Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan: Mechanisms for Efficient Multiprocessor Combinator Reduction. 113-121
• John D. Ramsdell: The CURRY Chip. 122-131

Session 4

• Adrienne Bloss, Paul Hudak: Variations on Strictness Analysis. 132-142
• R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: Beyond Conventional Macros. 143-150
• Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba: Hygienic Macro Expansion. 151-161
• Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell: Exact Real Arithmetic: A Case Study in Higher Order Programming. 162-173

Session 5

• Jon L. White: Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building. 174-191
• Peter Steenkiste, John L. Hennessy: LISP on a Reduced-Instruction-Set-Processor. 192-201
• Vivek Sarkar, John L. Hennessy: Partitioning Parallel Programs for Macro-Dataflow. 202-211
• Mark Scheevel: NORMA: A Graph Reduction Processor. 212-219

Session 6

• Chris D. Clack, Simon L. Peyton Jones: The Four-Stroke Reduction Engine. 220-232
• Peter Lee, Uwe F. Pleban: On the Use of LISP in Implementing Denotational Semantics. 233-248
• Hanne Riis Nielson, Flemming Nielson: Semantics Directed Compiling for Functional Languages. 249-257

Session 7

• Alan Bawden: Connection Graphs. 258-265
• Michel Mauny, Ascánder Suárez: Implementing Functional Languages in the Categorical Abstract Machine. 266-278
• Guy L. Steele Jr., W. Daniel Hillis: Connection Machine LISP: Fine-Grained Parallel Symbolic Processing. 279-297

Session 8 - Panel: Object Oriented Programming in Lisp

Session 9

• Mitchell Wand, Daniel P. Friedman: The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. 298-307
• John C. Mitchell: A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). 308-319
• Bharat Jayaraman, Frank S. K. Silbermann: Equations, Sets, and Reduction Semantics for Functional and Logic Programming. 320-331
• Satish R. Thatte: Towards a Semantic Theory for Equational Programming Languages. 332-342

Session 10

• Claus-Werner Lermen, Dieter Maurer: A Protocol for Distributed Reference Counting. 343-350
• Paul Hudak: A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). 351-363
• Martin Rudalics: Distributed Copying Garbage Collection. 364-372

Last update Tue Feb 14 04:07:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page