Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers
The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of res...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2670 |
| Matèries: | |
| Accés en línia: | 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, 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, revised selected papers, Ricardo Peña, Thomas Arts (eds.), Berlin, Springer, 2003, 1 vol. (X-247 p.), Lecture notes in computer science, 3-540-40190-3 • Implementation of Functional Languages, Texte imprimé, 9783662186107 |
Taula de continguts:
- Predictable Space Behaviour in FSM-Hume
- When Generic Functions Use Dynamic Values
- Fast Functional Lists
- Fusion in Practice
- Proving Make Correct: I/O Proofs in Haskell and Clean
- Gast: Generic Automated Software Testing
- Lazy Dynamic Input/Output in the Lazy Functional Language Clean
- PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines
- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment
- Stacking Cycles: Functional Transformation of Circular Data
- Transforming Haskell for Tracing
- Axis Control in SAC
- Thread Migration in a Parallel Graph Reducer
- Towards a Strongly Typed Functional Operating System
- Cost Analysis Using Automatic Size and Time Inference.