FPCA 1987:
Portland, Oregon, USA
Gilles Kahn (Ed.):
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings.
Lecture Notes in Computer Science 274 Springer 1987, ISBN 3-540-18317-5 
- Carlos A. Ruggiero, John Sargeant:
Control of parallelism in the Manchester Dataflow Machine.
1-15
- T. J. W. Clarke:
The D-RISC: An architecture for use in multiprocessors.
16-33
- Jon Fairbairn, Stuart Wray:
TIM: A simple, lazy abstract machine to execute supercombinatorics.
34-45
- David R. Lester:
The G-machine as a representation of stack semantics.
46-59
- Rafael Dueire Lins:
Categorical multi-combinators.
60-79
- Paul Watson, Ian Watson:
Evaluating functional programs on the FLAGSHIP machine.
80-97
- Simon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie:
GRIP - A high-performance architecture for parallel graph reduction.
98-112
- Stephen C. North, John H. Reppy:
Concurrent garbage collection on stock hardware.
113-133
- David S. Wise:
Matrix algebra and applicative programming.
134-153
- Thomas Johnsson:
Attribute grammars as a functional programming paradigm.
154-173
- Martine D. F. Schlag:
The planar topology of functional programs.
174-193
- Bharat Jayaraman, David A. Plaisted:
Functional programming with sets.
194-211
- Patrick Bellot, Véronique Jay:
A theory for natural modelisation and implementation of functions with variable arity.
212-233
- Paul Hudak, Steven Anderson:
Pomset interpretations of parallel functional programs.
234-256
- Thierry Gautier, Paul Le Guernic:
SIGNAL: A declarative language for synchronous programming of real-time systems.
257-277
- John Darlington, R. Lyndon While:
Controlling the behaviour of functional language systems.
278-300
- Andrew W. Appel, David B. MacQueen:
A Standard ML compiler.
301-324
- Ian Toyn, Alan J. Dix, Colin Runciman:
Performance polymorphism.
325-346
- Thomas R. Gross, Alan Sussman:
Mapping a single-assignment language onto the Warp systolic array.
347-363
- T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer:
CLEAN: A language for functional graph writing.
364-384
- Philip Wadler, R. J. M. Hughes:
Projections for strictness analysis.
385-407
- Benjamin Goldberg:
Detecting sharing of partial applications in functional programs.
408-425
- Chris Martin, Chris Hankin:
Finding fixed points in finite lattices.
426-445
- Geoffrey L. Burn:
Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract).
446-470
Last update Fri May 24 18:52:46 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
