Proceedings of the Third Conference on Functional Programming Languages and Computer Architecture
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.