Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
2011 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Implementation of functional languages, 12th international workshop, IFL 2000, Aachen, Germany, September 2000, selected papers, Markus Mohnen, Pieter Koopman (eds.), 2001, Berlin, Springer, 1 vol. (VIII-265 p.), Lecture notes in computer science, 3-540-41919-5 • Implementation of Functional Languages, Texte imprimé, 9783662203064 |
Table des matières:
- Non-determinism Analysis in a Parallel-Functional Language
- Exploiting Implicit Parallelism in Functional Programs with SLAM
- Verifying Generic Erlang Client Server Implementations
- The Design and Implementation of Glasgow Distributed Haskell
- Implementation Skeletons in Eden: Low-Effort Parallel Programming
- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
- Distributed Programming in Haskell with Ports
- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour
- A Usage Analysis with Bounded Usage Polymorphism and Subtyping
- Polygonizing Implicit Surfaces in a Purely Functional Way
- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
- Porting the Clean Object I/O Library to Haskell
- Organizing Speculative Computations in Functional Systems
- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
- The Collective Semantics in Functional SPMD Programming.