LISP and Functional Programming 1994: Orlando, Florida, USA

• Andrew P. Tolmach:
  Tag-Free Garbage Collection Using Explicit Type Parameters. 1-11
  Electronic Edition (ACM DL) BibTeX
• Shail Aditya, Christine H. Flood, James E. Hicks:
  Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction. 12-23
  Electronic Edition (ACM DL) BibTeX
• Pascal Fradet:
  Collecting More Garbage. 24-33
  Electronic Edition (ACM DL) BibTeX
• James O'Toole, Scott Nettles:
  Concurrent Replicating Garbage Collection. 34-42
  Electronic Edition (ACM DL) BibTeX
• Darko Stefanovic, J. Eliot B. Moss:
  Characterization of Object Behaviour in Standard ML of New Jersey. 43-54
  Electronic Edition (ACM DL) BibTeX
• Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes:
  Signatures for a Network Protocol Stack: A Systems Application of Standard ML. 55-64
  Electronic Edition (ACM DL) BibTeX
• Brian Reistad, David K. Gifford:
  Static Dependent Costs for Estimating Execution Time. 65-78
  Electronic Edition (ACM DL) BibTeX
• Lorenz Huelsbergen, James R. Larus, Alexander Aiken:
  Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. 79-90
  Electronic Edition (ACM DL) BibTeX
• Christian Queinnec:
  Locality, Causality and Continuations. 91-102
  Electronic Edition (ACM DL) BibTeX
• J. H. Jacobs, Mark R. Swanson:
  Syntax and Semantics of a Persistent Common Lisp. 103-112
  Electronic Edition (ACM DL) BibTeX
• Harley Davis, Pierre Parquier, Nitsan Séniak:
  Talking About Modules and Delivery. 113-120
  Electronic Edition (ACM DL) BibTeX
• Harley Davis, Pierre Parquier, Nitsan Séniak:
  Sweet Harmony: The Talk/C++ Connection. 121-127
  Electronic Edition (ACM DL) BibTeX
• William D. Clinger, Lars Thomas Hansen:
  Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. 128-139
  Electronic Edition (ACM DL) BibTeX
• J. Michael Ashley, R. Kent Dybvig:
  An Efficient Implementation of Multiple Return Values in Scheme. 140-149
  Electronic Edition (ACM DL) BibTeX
• Zhong Shao, Andrew W. Appel:
  Space-Efficient Closure Representations. 150-161
  Electronic Edition (ACM DL) BibTeX
• Cordelia V. Hall:
  Using Hindley-Milner Type Inference to Optimise List Representation. 162-172
  Electronic Edition (ACM DL) BibTeX
• Tyng-Ruey Chuang:
  A Randomized Implementation of Multiple Functional Arrays. 173-184
  Electronic Edition (ACM DL) BibTeX
• Zhong Shao, John H. Reppy, Andrew W. Appel:
  Unrolling Lists. 185-195
  Electronic Edition (ACM DL) BibTeX
• A. J. Kfoury, J. B. Wells:
  A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. 196-207
  Electronic Edition (ACM DL) BibTeX
• Satish R. Thatte:
  Semantics of Type Classes Revisited. 208-219
  Electronic Edition (ACM DL) BibTeX
• Stavros S. Cosmadakis:
  Complete Proof Systems for Algebraic Simply-Typed Terms. 220-226
  Electronic Edition (ACM DL) BibTeX
• Julia L. Lawall, Olivier Danvy:
  Continuation-Based Partial Evaluation. 227-238
  Electronic Edition (ACM DL) BibTeX
• Hsianlin Dzeng, Christopher T. Haynes:
  Type Reconstruction for Variable-Arity Procedures. 239-249
  Electronic Edition (ACM DL) BibTeX
• Andrew K. Wright, Robert Cartwright:
  A Practical Soft Type System for Scheme. 250-262
  Electronic Edition (ACM DL) BibTeX
• A. V. S. Sastry, William D. Clinger:
  Parallel Destructive Updating in Strict Functional Languages. 263-272
  Electronic Edition (ACM DL) BibTeX
• Jeffrey Dean, Craig Chambers:
  Towards Better Inlining Decisions Using Inlining Trials. 273-282
  Electronic Edition (ACM DL) BibTeX
• Sandip K. Biswas:
  In-Place Updates in the Presence of Control Operators. 283-293
  Electronic Edition (ACM DL) BibTeX
• Suresh Jagannathan, Stephen Weeks:
  Analyzing Stores and References in a Parallel Symbolic Language. 294-305
  Electronic Edition (ACM DL) BibTeX
• Nevin Heintze:
  Set-Based Analysis of ML Programs. 306-317
  Electronic Edition (ACM DL) BibTeX
• Dan C. Stefanescu, Yuli Zhou:
  An Equational Framework for the Flow Analysis of Higher Order Functional Programs. 318-327
  Electronic Edition (ACM DL) BibTeX