Proceedings of the Conference on Lisp and Functional Programming
LFP, 1992.

@proceedings{LFP-1992,
	address       = "San Francisco, California, USA",
	isbn          = "0-89791-481-3",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the Conference on Lisp and Functional Programming}",
	year          = 1992,
}

Contents (33 items)

5 ×#performance
3 ×#analysis
3 ×#garbage collection
3 ×#lisp
2 ×#calculus
2 ×#compilation
2 ×#continuation
2 ×#fixpoint
2 ×#implementation
2 ×#lazy evaluation

LFP-1992-Bondorf

Improving Binding Times Without Explicit CPS-Conversion (AB), pp. 1–10.

LFP-1992-Chin #functional

Safe Fusion of Functional Expressions (WNC), pp. 11–20.

LFP-1992-Maranget #compilation #lazy evaluation #pattern matching

Compiling Lazy Pattern Matching (LM), pp. 21–31.

LFP-1992-WilsonLM #garbage collection

Caching Considerations for Generational Garbage Collection (PRW, MSL, TGM), pp. 32–42.

LFP-1992-CooperNS #garbage collection #memory management #performance #using

Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management (EC, SN, IS), pp. 43–52.

LFP-1992-GoldbergG #garbage collection #polymorphism #re-engineering

Polymorphic Type Reconstruction for Garbage Collection Without Tags (BG, MG), pp. 53–65.

LFP-1992-Remy #ml

Projective ML (DR), pp. 66–75.

LFP-1992-RauglaudreM #ml #parsing

Parsers in ML (DdR, MM), pp. 76–85.

LFP-1992-Tung #composition #interactive #programming

Interactive Modular Programming in Scheme (SHST), pp. 86–95.

LFP-1992-NielsonN #fixpoint

Finiteness Conditions for Fixed Point Iteration (FN, HRN), pp. 96–108.

LFP-1992-ChuangG #approach #finite #fixpoint

A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.

LFP-1992-MullerZ #abstract interpretation

Abstract Interpretation in Weak Powerdomains (RM, YZ), pp. 119–126.

LFP-1992-NeubergerM #analysis #deduction #power of #precise #strict

A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.

LFP-1992-ChirimarGR #invariant #linear #logic #memory management #proving

Proving Memory Management Invariants for a Language Based on Linear Logic (JC, CAG, JGR), pp. 139–150.

LFP-1992-WandO #correctness #proving

Proving the Correctness of Storage Representations (MW, DO), pp. 151–160.

LFP-1992-TannenS #abstraction #on the

On Extending Computational Adequacy by Data Abstraction (VT, RS), pp. 161–169.

LFP-1992-ChenHO #parametricity

Parametric Type Classes (KC, PH, MO), pp. 170–181.

LFP-1992-CastagnaGL #calculus #type system

A Calculus for Overloaded Functions with Subtyping (GC, GG, GL), pp. 182–192.

LFP-1992-Kaes #recursion #type inference #type system

Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.

LFP-1992-Henglein #optimisation #type inference

Global Tagging Optimization by Type Inference (FH), pp. 205–215.

LFP-1992-WangH #analysis #recursion

Analysis of Recursive Types in Lisp-Like Languages (EW, PNH), pp. 216–225.

LFP-1992-Rozas

Taming the Y Operator (GJR), pp. 226–234.

LFP-1992-MacLachlan #compilation #lisp #python

The Python Compiler for CMU Common Lisp (RAM), pp. 235–246.

LFP-1992-RoseM #c

Integrating the Scheme and C Languages (JRR, HM), pp. 247–259.

LFP-1992-Henessey #delivery #lisp #named #performance

WCL: Delivering Efficient Common Lisp Applications Under Unix (WH), pp. 260–269.

LFP-1992-NagasakaSIGT #implementation #lisp #performance

Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2 (AN, YS, TI, HG, JT), pp. 270–277.

LFP-1992-BoveA #calculus #confluence #evaluation #metaprogramming

A Confluent Calculus of Macro Expansion and Evaluation (AB, LA), pp. 278–287.

LFP-1992-SabryF #continuation #reasoning #source code

Reasoning About Programs in Continuation-Passing Style (AS, MF), pp. 288–298.

LFP-1992-DanvyL #continuation

Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.

LFP-1992-HuelsbergenL #parallel

Dynamic Program Parallelization (LH, JRL), pp. 311–323.

LFP-1992-TraubCS #analysis #clustering #source code #strict #thread

Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.

LFP-1992-KaserPRRS #experience #implementation #lazy evaluation #parallel #performance

Fast Parallel Implementation of Lazy Languages — The EQUALS Experience (OK, SP, CRR, IVR, RCS), pp. 335–344.

LFP-1992-JagannathanP #concurrent #multi #performance #thread

A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.