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
LEADER 03332nmm a2200337 u 4500
001 EB000658165
003 EBX01000000000000000511247
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540478799 
100 1 |a Kahn, Gilles  |e [editor] 
245 0 0 |a Functional Programming Languages and Computer Architecture  |h Elektronische Ressource  |b Portland, Oregon, USA, September 14-16, 1987. Proceedings  |c edited by Gilles Kahn 
250 |a 1st ed. 1987 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1987, 1987 
300 |a VIII, 472 p  |b online resource 
505 0 |a 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) 
653 |a Computer programming 
653 |a Architecture, Computer 
653 |a Programming Languages, Compilers, Interpreters 
653 |a Programming languages (Electronic computers) 
653 |a Programming Techniques 
653 |a Processor Architectures 
653 |a Computer System Implementation 
653 |a Microprocessors 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Computer Science 
856 4 0 |u https://doi.org/10.1007/3-540-18317-5?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 003.3 
520 |a 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 October 1981 and in Nancy, in September 1985. Papers were solicited on all aspects of functional languages and particularly implementation techniques for functional programming languages and computer architectures to support the efficient execution of functional programs. The contributions collected in this volume show that many issues regarding the implementation of Functional Programming Languages are now far better understood