Trends in Functional Programming

11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

Editors:

ISBN: 978-3-642-22940-4 (Print) 978-3-642-22941-1 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-15

    Evaluating Call-by-Need on the Control Stack

  3. No Access

    Book Chapter

    Pages 16-30

    Typing Coroutines

  4. No Access

    Book Chapter

    Pages 31-49

    An Expression Processor: A Case Study in Refactoring Haskell Programs

  5. No Access

    Book Chapter

    Pages 50-65

    Static Balance Checking for First-Class Modular Systems of Equations

  6. No Access

    Book Chapter

    Pages 66-83

    Graphical and Incremental Type Inference: A Graph Transformation Approach

  7. No Access

    Book Chapter

    Pages 84-101

    Hygienic Macros for ACL2

  8. No Access

    Book Chapter

    Pages 102-117

    What’s the Matter with Kansas Lava?

  9. No Access

    Book Chapter

    Pages 118-133

    Types and Type Families for Hardware Simulation and Synthesis

  10. No Access

    Book Chapter

    Pages 134-149

    Testing with Functional Reference Implementations

  11. No Access

    Book Chapter

    Pages 150-165

    Every Animation Should Have a Beginning, a Middle, and an End

  12. No Access

    Book Chapter

    Pages 166-183

    Functional Video Games in the CS1 Classroom

  13. No Access

    Book Chapter

    Pages 184-197

    ComputErl – Erlang-Based Framework for Many Task Computing

  14. No Access

    Book Chapter

    Pages 198-213

    Monad Factory: Type-Indexed Monads

  15. Back Matter

    Pages -