Proceedings of the Conference on Lisp and Functional Programming, San Francisco, California, USA, 22-24 June 1992. ACM Press, 1992, ISBN 0-89791-481-3, 365 pp.

• 
  Anders Bondorf: Improving Binding Times Without Explicit CPS-Conversion. 1-10
• 
  Wei-Ngan Chin: Safe Fusion of Functional Expressions. 11-20
• 
  Luc Maranget: Compiling Lazy Pattern Matching. 21-31
• 
  Paul R. Wilson, Michael S. Lam, Thomas G. Moher: Caching Considerations for Generational Garbage Collection. 32-42
• 
  Eric Cooper, Scott Nettles, Indira Subramanian: Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management. 43-52
• 
  Benjamin Goldberg, Michael Gloger: Polymorphic Type Reconstruction for Garbage Collection Without Tags. 53-65
• 
  Didier Rémy: Projective ML. 66-75
• 
  Daniel de Rauglaudre, Michel Mauny: Parsers in ML. 76-85
• 
  Sho-Huan Simon Tung: Interactive Modular Programming in Scheme. 86-95
• 
  Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Fixed Point Iteration. 96-108
• 
  Tyng-Ruey Chuang, Benjamin Goldberg: A Syntactic Approach to Fixed Point Computation on Finite Domains. 109-118
• 
  Robert Muller, Yuli Zhou: Abstract Interpretation in Weak Powerdomains. 119-126
• 
  Marc Neuberger, Prateek Mishra: A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. 127-138
• 
  Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Proving Memory Management Invariants for a Language Based on Linear Logic. 139-150
• 
  Mitchell Wand, Dino Oliva: Proving the Correctness of Storage Representations. 151-160
• 
  Val Tannen, Ramesh Subrahmanyam: On Extending Computational Adequacy by Data Abstraction. 161-169
• 
  Kung Chen, Paul Hudak, Martin Odersky: Parametric Type Classes. 170-181
• 
  Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. 182-192
• 
  Stefan Kaes: Type Inference in the Presence of Overloading, Subtyping and Recursive Types. 193-204
• 
  Fritz Henglein: Global Tagging Optimization by Type Inference. 205-215
• 
  Edward Wang, Paul N. Hilfinger: Analysis of Recursive Types in Lisp-Like Languages. 216-225
• 
  Guillermo Juan Rozas: Taming the Y Operator. 226-234
• 
  Robert A. MacLachlan: The Python Compiler for CMU Common Lisp. 235-246
• 
  John R. Rose, Hans Muller: Integrating the Scheme and C Languages. 247-259
• 
  Wade Henessey: WCL: Delivering Efficient Common Lisp Applications Under Unix. 260-269
• 
  Atsushi Nagasaka, Yoshihiro Shintani, Tanji Ito, Hiroshi Gomi, Junichi Takahashi: Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2. 270-277
• 
  Ana Bove, Laura Arbilla: A Confluent Calculus of Macro Expansion and Evaluation. 278-287
• 
  Amr Sabry, Matthias Felleisen: Reasoning About Programs in Continuation-Passing Style. 288-298
• 
  Olivier Danvy, Julia L. Lawall: Back to Direct Style II: First-Class Continuations. 299-310
• 
  Lorenz Huelsbergen, James R. Larus: Dynamic Program Parallelization. 311-323
• 
  Kenneth R. Traub, David E. Culler, Klaus E. Schauser: Global Analysis for Partitioning Non-Strict Programs into Sequential Threads. 324-334
• 
  Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. 335-344
• 
  Suresh Jagannathan, James Philbin: A Foundation for an Efficient Multi-Threaded Scheme System. 345-357