Implementation of functional languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
2312 |
| Materias: | |
| Acceso en línea: | 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, 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001, Selected papers, Thomas Arts, Markus Mohnen (eds.), Berlin, Springer, 2002, 1 vol. (VI-185 p.), Lecture notes in computer science, 3-540-43537-9 • Implementation of Functional Languages, Texte imprimé, 9783662161531 |
Tabla de Contenidos:
- Sized Types for Typing Eden Skeletons
- A Compilation Scheme for a Hierarchy of Array Types
- Optimizations on Array Skeletons in a Shared Memory Environment
- Theorem Proving for Functional Programmers
- Proving Correctness of Programs with IO A Paradigm Comparison
- Proving the Correctness of the STG Machine
- Dynamic Cheap Eagerness
- A Polynomial-Cost Non-determinism Analysis
- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler
- Runtime Behavior of Conversion Interpretation of Subtyping
- A Generic Programming Extension for Clean.