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

@proceedings{LFP-1986,
	address       = "Cambridge, Massachusetts, USA",
	title         = "{Proceedings of the 1986 ACM Conference on LISP and Functional Programming}",
	year          = 1986,
}

Contents (32 items)

7 ×#lisp
6 ×#functional
6 ×#semantics
5 ×#reduction
3 ×#implementation
2 ×#case study
2 ×#compilation
2 ×#distributed
2 ×#equation
2 ×#graph

LFP-1986-Thompson

Laws in Miranda (SJT), pp. 1–12.

LFP-1986-ClementDDK

A Simple Applicative Language: Mini-ML (DC, JD, TD, GK), pp. 13–27.

LFP-1986-GiffordL #functional #imperative #programming

Integrating Functional and Imperative Programming (DKG, JML), pp. 28–38.

LFP-1986-AlbergaBMDP #experience #lisp

Experience with an Uncommon LISP (CNA, CBC, MM, MSVD, JAP), pp. 39–53.

LFP-1986-Padgeta #lisp #standard

Desiderata for the Standardization of LISP (JAP), pp. 54–66.

LFP-1986-BrooksPMWBG #compilation #design #lisp #optimisation

Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp (RAB, DBP, JLM, JLW, EB, RPG), pp. 67–87.

LFP-1986-BartleyJ #implementation

The Implementation of PC Scheme (DHB, JCJ), pp. 88–93.

LFP-1986-FairbairnW #code generation #functional

Code Generation Techniques for Functional Languages (JF, SW), pp. 94–104.

LFP-1986-Knight #architecture #functional

An Architecture for Mostly Functional Languages (TFK), pp. 105–112.

LFP-1986-LemaitreCDDL #combinator #multi #performance #reduction

Mechanisms for Efficient Multiprocessor Combinator Reduction (ML, MC, MHD, GD, BL), pp. 113–121.

LFP-1986-Ramsdell

The CURRY Chip (JDR), pp. 122–131.

LFP-1986-BlossH #analysis #strict

Variations on Strictness Analysis (AGB, PH), pp. 132–142.

LFP-1986-DybvigFH #metaprogramming

Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.

LFP-1986-KohlbeckerFFD #metaprogramming

Hygienic Macro Expansion (EEK, DPF, MF, BFD), pp. 151–161.

LFP-1986-BoehmCRO #case study #higher-order #programming

Exact Real Arithmetic: A Case Study in Higher Order Programming (HJB, RC, MR, MJO), pp. 162–173.

LFP-1986-White #case study #configuration management #lisp #performance

Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building (JLW), pp. 174–191.

LFP-1986-SteenkisteH #lisp

LISP on a Reduced-Instruction-Set-Processor (PS, JLH), pp. 192–201.

LFP-1986-SarkarH #clustering #parallel #source code

Partitioning Parallel Programs for Macro-Dataflow (VS, JLH), pp. 202–211.

LFP-1986-Scheevel #graph #named #reduction

NORMA: A Graph Reduction Processor (MS), pp. 212–219.

LFP-1986-ClackJ #reduction

The Four-Stroke Reduction Engine (CDC, SLPJ), pp. 220–232.

LFP-1986-LeeP #implementation #lisp #on the #semantics #using

On the Use of LISP in Implementing Denotational Semantics (PL, UFP), pp. 233–248.

LFP-1986-NielsonN #compilation #functional #semantics

Semantics Directed Compiling for Functional Languages (HRN, FN), pp. 249–257.

LFP-1986-Bawden #graph

Connection Graphs (AB), pp. 258–265.

LFP-1986-MaunyS #automaton #category theory #functional #implementation

Implementing Functional Languages in the Categorical Abstract Machine (MM, AS), pp. 266–278.

LFP-1986-SteeleH #fine-grained #lisp #parallel

Connection Machine LISP: Fine-Grained Parallel Symbolic Processing (GLSJ, WDH), pp. 279–297.

LFP-1986-WandF

The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (MW, DPF), pp. 298–307.

LFP-1986-Mitchell #approach #polymorphism #reduction #semantics

A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (JCM), pp. 308–319.

LFP-1986-JayaramanS #equation #functional #logic programming #reduction #semantics #set

Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.

LFP-1986-Thatte #equation #programming language #semantics #towards

Towards a Semantic Theory for Equational Programming Languages (SRT), pp. 332–342.

LFP-1986-LermenM #distributed #protocol

A Protocol for Distributed Reference Counting (CWL, DM), pp. 343–350.

LFP-1986-Hudak #abstraction #semantics #summary

A Semantic Model of Reference Counting and its Abstraction (Detailed Summary) (PH), pp. 351–363.

LFP-1986-Rudalics #distributed #garbage collection

Distributed Copying Garbage Collection (MR), pp. 364–372.