Functional Programming Languages and Computer Architecture Portland, Oregon, USA, September 14-16, 1987. Proceedings

This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly successful conferences on the same topics held at Wentworth, New Hampshire, in Oct...

Full description

Bibliographic Details
Other Authors: Kahn, Gilles (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1987, 1987
Edition:1st ed. 1987
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Control of parallelism in the Manchester dataflow machine
  • The D-RISC—An architecture for use in multiprocessors
  • Tim: A simple, lazy abstract machine to execute supercombinators
  • The G-machine as a representation of stack semantics
  • Categorical multi-combinators
  • Evaluating functional programs on the flagship machine
  • GRIP — a high-performance architecture for parallel graph reduction
  • Concurrent garbage collection on stock hardware
  • Matrix algebra and applicative programming
  • Attribute grammars as a functional programming paradigm
  • The planar topology of functional programs
  • Functional programming with sets
  • A theory for natural modelisation and implementation of functions with variable arity
  • Pomset interpretations of parallel functional programs
  • SIGNAL: A declarative language for synchronous programming of real-time systems
  • Controlling the behaviour of functional language systems
  • A standard ML compiler
  • Performance polymorphism
  • Mapping a single-assignment language onto the warp systolic array
  • Clean — A language for functional graph rewriting
  • Projections for strictness analysis
  • Detecting sharing of partial applications in functional programs
  • Finding fixed points in finite lattices
  • Evaluation transformers — A model for the parallel evaluation of functional languages (extended abstract)