Cover Image

Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : proceedings /

Show other versions (1)

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
Corporate Authors: SpringerLink (Online service), Conference on Functional Programming Languages and Computer Architecture
Other Authors: Kahn, G.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1987.
Series:Lecture notes in computer science ; 274.
Subjects:
Functional programming languages > Congresses.
Computer architecture > Congresses.
langage fonctionnel.
programmation fonctionnelle.
architecture ordinateur.
Ordinateurs > Architecture > Congrès.
Langages de programmation fonctionnels.
Functionele programmering.
Computerarchitectuur.
Computer architecture.
Functional programming languages.
Electronic books.
Congressen (vorm)
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Contents: Control of parallelism in the Manchester Dataflow Machine
  • The D-RISC: An architecture for the 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 languages
  • Finding fixed points in finite lattices
  • Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract).