Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Butterfield, Andrew (Editor), Grelck, Clemens (Editor), Huch, Frank (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4015
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.

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.