Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Editors:

ISBN: 978-3-540-69174-7 (Print) 978-3-540-69175-4 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. Contributions

    1. No Access

      Book Chapter

      Pages 1-18

      A Framework for Point-Free Program Transformation

    2. No Access

      Book Chapter

      Pages 19-36

      Encoding Strategies in the Lambda Calculus with Interaction Nets

    3. No Access

      Book Chapter

      Pages 37-54

      Proof Tool Support for Explicit Strictness

    4. No Access

      Book Chapter

      Pages 55-73

      A Rational Deconstruction of Landin’s J Operator

    5. No Access

      Book Chapter

      Pages 74-90

      A Dependently Typed Framework for Static Analysis of Program Execution Costs

    6. No Access

      Book Chapter

      Pages 91-105

      Accurate Step Counting

    7. No Access

      Book Chapter

      Pages 106-123

      The Implementation of iData

    8. No Access

      Book Chapter

      Pages 124-141

      A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell

    9. No Access

      Book Chapter

      Pages 142-159

      Polytypic Syntax Tree Operations

    10. No Access

      Book Chapter

      Pages 160-177

      Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences

    11. No Access

      Book Chapter

      Pages 178-195

      With-Loop Fusion for Data Locality and Parallelism

    12. No Access

      Book Chapter

      Pages 196-211

      A Document-Centered Environment for Haskell

    13. No Access

      Book Chapter

      Pages 212-230

      A Binding Scope Analysis for Generic Programs on Arrays

  3. Back Matter

    Pages -