Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Editors:

ISBN: 978-3-540-74129-9 (Print) 978-3-540-74130-5 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-18

    On Optimising Shape-Generic Array Programs Using Symbolic Structural Information

  3. No Access

    Book Chapter

    Pages 19-36

    Index Vector Elimination – Making Index Vectors Affordable

  4. No Access

    Book Chapter

    Pages 37-54

    Functional–Based Synthesis of a Systolic Array for GCD Computation

  5. No Access

    Book Chapter

    Pages 55-72

    Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages

  6. No Access

    Book Chapter

    Pages 73-90

    Parallel Coordination Made Explicit in a Functional Setting

  7. No Access

    Book Chapter

    Pages 91-107

    Low-Level Programming in Hume: An Exploration of the HW-Hume Level

  8. No Access

    Book Chapter

    Pages 108-125

    A Conference Management System Based on the iData Toolkit

  9. No Access

    Book Chapter

    Pages 126-144

    A Pattern Logic for Prompt Lazy Assertions in Haskell

  10. No Access

    Book Chapter

    Pages 145-162

    Ivor, a Proof Engine

  11. No Access

    Book Chapter

    Pages 163-180

    Proving Program Properties Specified with Subtype Marks

  12. No Access

    Book Chapter

    Pages 181-198

    Uniqueness Typing Redefined

  13. No Access

    Book Chapter

    Pages 199-216

    Heuristics for Type Error Discovery and Recovery

  14. No Access

    Book Chapter

    Pages 217-234

    Testing Properties of Generic Functions

  15. No Access

    Book Chapter

    Pages 235-252

    Worst-Case Execution Times for a Purely Functional Language

  16. No Access

    Book Chapter

    Pages 253-270

    Automatic Partial Inversion of Inductively Sequential Functions

  17. Back Matter

    Pages -