Gilles Kahn
Proceedings of the Third Conference on Functional Programming Languages and Computer Architecture
FPCA, 1987.

@proceedings{FPCA-1987,
	address       = "Portland, Oregon, USA",
	editor        = "Gilles Kahn",
	isbn          = "3-540-18317-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third Conference on Functional Programming Languages and Computer Architecture}",
	volume        = 274,
	year          = 1987,
}

Contents (24 items)

9 ×#functional
4 ×#named
4 ×#parallel
4 ×#programming
4 ×#source code
2 ×#architecture
2 ×#combinator
2 ×#graph
2 ×#multi

FPCA-1987-RuggieroS #data flow #parallel

Control of parallelism in the Manchester Dataflow Machine (CAR, JS), pp. 1–15.

FPCA-1987-Clarke #architecture #multi

The D-RISC: An architecture for use in multiprocessors (TJWC), pp. 16–33.

FPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named

TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.

FPCA-1987-Lester #representation #semantics #stack

The G-machine as a representation of stack semantics (DRL), pp. 46–59.

FPCA-1987-Lins #category theory #combinator #multi

Categorical multi-combinators (RDL), pp. 60–79.

FPCA-1987-WatsonW #functional #source code

Evaluating functional programs on the FLAGSHIP machine (PW, IW), pp. 80–97.

FPCA-1987-JonesCSH #architecture #graph #named #parallel #reduction

GRIP — A high-performance architecture for parallel graph reduction (SLPJ, CDC, JS, MH), pp. 98–112.

FPCA-1987-NorthR #concurrent #garbage collection #hardware

Concurrent garbage collection on stock hardware (SCN, JHR), pp. 113–133.

FPCA-1987-Wise #algebra #matrix #programming

Matrix algebra and applicative programming (DSW), pp. 134–153.

FPCA-1987-Johnsson #attribute grammar #functional #paradigm #programming

Attribute grammars as a functional programming paradigm (TJ), pp. 154–173.

FPCA-1987-Schlag #functional #source code

The planar topology of functional programs (MDFS), pp. 174–193.

FPCA-1987-JayaramanP #functional #programming #set

Functional programming with sets (BJ, DAP), pp. 194–211.

FPCA-1987-BellotJ #implementation

A theory for natural modelisation and implementation of functions with variable arity (PB, VJ), pp. 212–233.

FPCA-1987-HudakA #functional #parallel #source code

Pomset interpretations of parallel functional programs (PH, SA), pp. 234–256.

FPCA-1987-GautierG #declarative #named #programming #realtime

SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.

FPCA-1987-DarlingtonW #behaviour #functional

Controlling the behaviour of functional language systems (JD, RLW), pp. 278–300.

FPCA-1987-AppelM #compilation #ml #standard

A Standard ML compiler (AWA, DBM), pp. 301–324.

FPCA-1987-ToynDR #morphism #performance #polymorphism

Performance polymorphism (IT, AJD, CR), pp. 325–346.

FPCA-1987-GrossS #array

Mapping a single-assignment language onto the Warp systolic array (TRG, AS), pp. 347–363.

FPCA-1987-BrusELP #functional #graph #named

CLEAN: A language for functional graph writing (THB, MCJDvE, MOvL, MJP), pp. 364–384.

FPCA-1987-WadlerH #analysis #strict

Projections for strictness analysis (PW, RJMH), pp. 385–407.

FPCA-1987-Goldberg #detection #functional #source code

Detecting sharing of partial applications in functional programs (BG), pp. 408–425.

FPCA-1987-MartinH #finite #fixpoint

Finding fixed points in finite lattices (CM, CH), pp. 426–445.

FPCA-1987-Burn #evaluation #functional #parallel

Evaluation transformers — a model for the parallel evaluation of functional languages (GLB), pp. 446–470.