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...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
274 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987, proceedings, Gilles Kahn (ed.), Berlin, Springer-Verlag, 1987, 1 vol. (VI-470 p.), Lecture notes in computer science, 3-540-18317-5 • Functional Programming Languages and Computer Architecture, Texte imprimé, 9783662166512 |
সূচিপত্রের সারণি:
- 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).