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...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
274 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
| LEADER | 04590nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944930 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155207512 | ||
| 020 | |a 9783540478799 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Conference on functional programming languages and computer architecture |n (3 |d :1987 |c :Portland, Or.). | |
| 245 | 1 | 0 | |a Functional programming languages and computer architecture : |b Portland, Oregon, USA, September 14-16, 1987 : proceedings |c [edited by] Gilles Kahn. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 274 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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). | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Architecture des ordinateurs | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Kahn, Gilles, |d 1946-2006. |4 pbd | |
| 776 | 0 | |0 02069475X |t Functional programming languages and computer architecture |o Portland, Oregon, USA, September 14-16, 1987 |o proceedings |f Gilles Kahn (ed.) |c Berlin |n Springer-Verlag |d 1987 |p 1 vol. (VI-470 p.) |s Lecture notes in computer science |z 3-540-18317-5 | |
| 776 | 0 | |t Functional Programming Languages and Computer Architecture |b Texte imprimé |z 9783662166512 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18317-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W4JHCBST-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747915210 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18317-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927879 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18317-5 |z Accès INSA CVL | |
| 997 | |0 944930 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||