Functional programming languages and computer architecture : Nancy, France, September 16 19, 1985
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
201 |
| 主題: | |
| 在線閱讀: | 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, Nancy, France, September 1985, edited by Jean-Pierre Jouannaud, Berlin, Springer-Verlag, 1985, 1 vol. (VI-413 p.), Lecture notes in computer science, 0-387-15975-4 • Functional Programming Languages and Computer Architecture, Texte imprimé, 9783662180754 |
書本目錄:
- Miranda: A non-strict functional language with polymorphic types
- Data flow graph optimization in if1
- Strictness analysis a practical approach
- The categorical abstract machine
- High order programming in extended FP
- Secd-m: a virtual machine for applicative programming
- Cobweb A combinator reduction architecture
- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages
- Lazy memo-functions
- An architecture for fast data movement in the FFP machine
- An architecture that efficiently updates associative aggregates in applicative programming languages
- Lambda lifting: Transforming programs to recursive equations
- Optimizing almost-tail-recursive prolog programs
- Designing regular array architectures using higher order functions