Proceedings of the 1982 ACM Symposium on LISP and Functional Programming
LFP, 1982.

@proceedings{LFP-1982,
	address       = "Pittsburgh, PA, USA",
	title         = "{Proceedings of the 1982 ACM Symposium on LISP and Functional Programming}",
	year          = 1982,
}

Contents (28 items)

8 ×#lisp
4 ×#combinator
4 ×#functional
4 ×#implementation
3 ×#prolog
2 ×#evaluation
2 ×#garbage collection
2 ×#lazy evaluation
2 ×#named
2 ×#nondeterminism

LFP-1982-Hughes #combinator #implementation

Super Combinators: A New Implementation Method for Applicative Languages (RJMH), pp. 1–10.

LFP-1982-MuchnickJ #combinator #evaluation

A Fixed-Program Machine for Combinator Expression Evaluation (SSM, NDJ), pp. 11–20.

LFP-1982-KennawayS #process

Expressions as Processes (RK, MRS), pp. 21–28.

LFP-1982-Bohm #combinator #functional #programming

Combinatory Foundation of Functional Programming (CB), pp. 29–36.

LFP-1982-Feldman #editing #functional #specification

Functional Specifications of a Text Editor (GF), pp. 37–46.

LFP-1982-TurchinNT

Experiments with a Supercompiler (VFT, RMN, DVT), pp. 47–55.

LFP-1982-Wise #data-driven #parallel #prolog

A Parallel Prolog: The Construction of a Data Driven Model (MJW), pp. 56–66.

LFP-1982-Moss #how #prolog #using

How to Define a Language Using PROLOG (CDSM), pp. 67–73.

LFP-1982-EggertS #logic programming #programming language

Logic Enhancement: A Metho for Extending Logic Programming Languages (PRE, DVS), pp. 74–80.

LFP-1982-BatesDK #implementation

Implementation of Interlisp on the VAX (RLB, DD, JAGMK), pp. 81–87.

LFP-1982-GrissBM #lisp #named

PSL: A Portable LISP System (MLG, EB, GQMJ), pp. 88–97.

LFP-1982-Steele #lisp #overview

An Overview of Common Lisp (GLSJ), pp. 98–107.

LFP-1982-BrooksGS #implementation #lisp

S-1 Common Lisp Implementation (RAB, RPG, GLSJ), pp. 108–113.

LFP-1982-ReesA #lisp #named

T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool (JR, NA), pp. 114–122.

LFP-1982-GabrielM #lisp #performance

Performance of Lisp Systems (RPG, LM), pp. 123–142.

LFP-1982-Gutierrez #lisp #prolog

Prolog Compared with Lisp (CG), pp. 143–149.

LFP-1982-Jones #combinator

An Investigation of the Relative Efficiencies of Combinators and λ Expressions (SLPJ), pp. 150–158.

LFP-1982-Dawson #effectiveness #garbage collection #lisp #realtime

Improved Effectiveness from a Real Time Lisp Garbage Collector (JLD), pp. 159–167.

LFP-1982-HudakK #distributed #garbage collection

Garbage Collection and Task Deletion in Distributed Applicative Processing Systems (PH, RMK), pp. 168–178.

LFP-1982-Henderson #functional #geometry

Functional Geometry (PH), pp. 179–187.

LFP-1982-Georgeff #functional #implementation #stack

A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.

LFP-1982-White #bound #constant

Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.

LFP-1982-Mago

Data Sharing in an FFP Machine (GM), pp. 201–207.

LFP-1982-GotoSIIIHSSP #design #lisp

Design of a Lisp Machine — FLATS (EG, TS, NI, TI, MI, KH, MS, KS, BP), pp. 208–215.

LFP-1982-Clinger #call-by #lazy evaluation #nondeterminism

Nondeterministic Call by Need is Neither Lazy Nor by Name (WDC), pp. 226–234.

LFP-1982-CohenM #algebra #nondeterminism #source code #towards

Toward an Algebra of Nondeterministic Programs (ATC, TJM), pp. 235–242.

LFP-1982-MacQueenS #semantics

A Semantic Model of Types for Applicative Languages (DBM, RS), pp. 243–252.

LFP-1982-CartwrightD #evaluation #lazy evaluation #semantics

The Semantics of Lazy (and Industrious) Evaluation (RC, JED), p. 253–?.