Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, revised selected papers
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| سلاسل: | Theoretical Computer Science and General Issues
8241 |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) 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: | • Implementation and Application of Functional Languages, Texte imprimé, 9783642415814 • Implementation and Application of Functional Languages, Texte imprimé, 9783642415838 |
جدول المحتويات:
- A Notation for Comonads
- Iterating Skeletons
- Structured Parallelism by Composition
- Building JavaScript Applications with Haskell
- Advances in Lazy SmallCheck
- OCaml-Java: from OCaml sources to Java bytecodes
- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language
- Optimisation of Generic Programs through Inlining
- A Type-and Control-Flow Analysis for System F
- Dependently-typed Programming in Scientific Computing: Examples from economic modelling
- Engineering Proof by Reflection in Agda
- Agda Meets Accelerate
- An Embedded Type Debugger
- Pure and Lazy Lambda Mining: An Experience Report
- Decomposing Metaheuristic Operations.