Proceedings of the 1988 ACM Conference on LISP and Functional Programming
LFP, 1988.

@proceedings{LFP-1988,
	address       = "Snowbird, Utah, USA",
	isbn          = "0-89791-273-X",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the 1988 ACM Conference on LISP and Functional Programming}",
	year          = 1988,
}

Contents (33 items)

4 ×#implementation
4 ×#named
3 ×#continuation
3 ×#lisp
3 ×#object-oriented
3 ×#type inference
2 ×#ml
2 ×#performance
2 ×#programming language
2 ×#reduction

LFP-1988-SussmanH #abstraction #named #tutorial

Tutorial: Abstraction in Numerical Methods (GJS, MH), pp. 1–7.

LFP-1988-Roylance

Expressing Mathematical Subroutines Constructively (GR), pp. 8–13.

LFP-1988-Vuillemin

Exact Real Computer Arithmetic with Continued Fractions (JV), pp. 14–27.

LFP-1988-TinkerK #execution #parallel

Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.

LFP-1988-Goldberg #graph #multi #named #reduction

Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor (BG), pp. 40–51.

LFP-1988-FelleisenWFD #continuation #semantics

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.

LFP-1988-MeyerR #continuation

Continuations May be Unreasonable (ARM, JGR), pp. 63–71.

LFP-1988-Felleisen #named #λ-calculus

λ-V-CS: An Extended λ-Calculus for Scheme (MF), pp. 72–85.

LFP-1988-BawdenR

Syntactic Closures (AB, JR), pp. 86–95.

LFP-1988-AasaPS #functional #syntax

Concrete Syntax for Data Objects in Functional Languages (AA, KP, DS), pp. 96–105.

LFP-1988-DybvigH #interface

A Variable-Arity Procedural Interface (RKD, RH), pp. 106–115.

LFP-1988-BerlinW #named

Scheme86: A System for Interpreting Scheme (AB, HMW), pp. 116–123.

LFP-1988-ClingerHO #continuation #implementation

Implementation Strategies for Continuations (WDC, AH, EO), pp. 124–131.

LFP-1988-SwansonKL #implementation #lisp #standard

An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.

LFP-1988-GoldmanG #implementation

Preliminary Results with the Initial Implementation of Qlisp (RG, RPG), pp. 143–152.

LFP-1988-Pfenning #higher-order #polymorphism #type inference #unification

Partial Polymorphic Type Inference and Higher-Order Unification (FP), pp. 153–163.

LFP-1988-Martini #bound #modelling #quantifier

Bounded Quantifiers Have Interval Models (SM), pp. 164–173.

LFP-1988-OhoriB #database #programming language #type inference

Type Inference in a Database Programming Language (AO, PB), pp. 174–183.

LFP-1988-Henglein #type inference

Type Inference and Semi-Unification (FH), pp. 184–197.

LFP-1988-JategaonkarM #ml #pattern matching #type system

ML with Extended Pattern Matching and Subtypes (LJ, JCM), pp. 198–211.

LFP-1988-MacQueen #implementation #ml #standard

An Implementation of Standard ML Modules (DBM), pp. 212–223.

LFP-1988-HudakH

Graphinators and the Duality of SIMD and MIMD (PH, EM), pp. 224–234.

LFP-1988-Norman #combinator #hardware #performance #reduction #using

Faster Combinator Reduction Using stock Hardware (ACN), pp. 235–243.

LFP-1988-BurnJR

The Spineless G-Machine (GLB, SLPJ, JDR), pp. 244–258.

LFP-1988-GharachorlooSH #approach #performance

A Simple and Efficient Implmentation Approach for Single Assignment Languages (KG, VS, JLH), pp. 259–268.

LFP-1988-Pugh

An Improved Replacement Strategy for Function Aaching (WP), pp. 269–276.

LFP-1988-AdamsR #object-oriented #programming

Object-Oriented Programming in Scheme (NA, JR), pp. 277–288.

LFP-1988-Reddy #object-oriented #semantics

Objects as Closures: Abstract Semantics of Object-Oriented Languages (USR), pp. 289–297.

LFP-1988-QueinnecC #data transformation #lisp #representation

An Open-Ended Data Representation Model for EU_LISP (CQ, PC), pp. 298–308.

LFP-1988-BobrowK #kernel #lisp #object-oriented

The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.

LFP-1988-Lamping #programming language

A Unified System of Parameterization for Programming Languages (JL), pp. 316–326.

LFP-1988-DanvyM

Intensions and Extensions in a Reflective Tower (OD, KM), pp. 327–341.

LFP-1988-Bawden #evaluation

Reification without Evaluation (AB), pp. 342–349.