Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | |
Other Authors: | , , |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Edition: | 1st ed. 2006. |
Series: | Theoretical Computer Science and General Issues,
4015 |
Subjects: | |
Online Access: | Texto Completo |
Table of Contents:
- Contributions
- A Framework for Point-Free Program Transformation
- Encoding Strategies in the Lambda Calculus with Interaction Nets
- Proof Tool Support for Explicit Strictness
- A Rational Deconstruction of Landin's J Operator
- A Dependently Typed Framework for Static Analysis of Program Execution Costs
- Accurate Step Counting
- The Implementation of iData
- A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell
- Polytypic Syntax Tree Operations
- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences
- With-Loop Fusion for Data Locality and Parallelism
- A Document-Centered Environment for Haskell
- A Binding Scope Analysis for Generic Programs on Arrays.