Implementation and Application of Functional Languages

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Editors:

ISBN: 978-3-642-34406-0 (Print) 978-3-642-34407-7 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    Functional Instrumentation of ActionScript Programs with Asil

  3. No Access

    Book Chapter

    Pages 17-34

    Fairness for Transactional Events

  4. No Access

    Book Chapter

    Pages 35-50

    Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

  5. No Access

    Book Chapter

    Pages 51-68

    Challenges for a Trace-Based Just-In-Time Compiler for Haskell

  6. No Access

    Book Chapter

    Pages 69-84

    Lazy Generation of Canonical Test Programs

  7. No Access

    Book Chapter

    Pages 85-99

    Generic Monadic Constructs for Embedded Languages

  8. No Access

    Book Chapter

    Pages 100-115

    From Stack Traces to Lazy Rewriting Sequences

  9. No Access

    Book Chapter

    Pages 116-133

    Model Based Testing with Logical Properties versus State Machines

  10. No Access

    Book Chapter

    Pages 134-147

    Property-Based Testing and Verification: A Catalog of Classroom Examples

  11. No Access

    Book Chapter

    Pages 148-163

    Describing and Optimising Reversible Logic Using a Functional Language

  12. No Access

    Book Chapter

    Pages 164-180

    Hardware Design with Generalized Arrows

  13. Back Matter

    Pages -