Trends in Functional Programming

13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Editors:

ISBN: 978-3-642-40446-7 (Print) 978-3-642-40447-4 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages -

  2. Invited Talk

    1. No Access

      Book Chapter

      Pages 1-20

      Some History of Functional Programming Languages

  3. Contributions

    1. No Access

      Book Chapter

      Pages 21-36

      Combining Deep and Shallow Embedding for EDSL

    2. No Access

      Book Chapter

      Pages 37-52

      The Blame Theorem for a Linear Lambda Calculus with Type Dynamic

    3. No Access

      Book Chapter

      Pages 53-68

      Higher-Order Size Checking without Subtyping

    4. No Access

      Book Chapter

      Pages 69-84

      Well-Typed Islands Parse Faster

    5. No Access

      Book Chapter

      Pages 85-100

      Higher-Order Strictness Typing

    6. No Access

      Book Chapter

      Pages 101-116

      Call-by-Value Semantics for Mutually Recursive First-Class Modules

    7. No Access

      Book Chapter

      Pages 117-132

      The Design of a Practical Proof Checker for a Lazy Functional Language

    8. No Access

      Book Chapter

      Pages 133-148

      Towards a Framework for Building Formally Verified Supercompilers in Coq

    9. No Access

      Book Chapter

      Pages 149-166

      Matching Problem for Regular Expressions with Variables

    10. No Access

      Book Chapter

      Pages 167-181

      OCaml-Java: OCaml on the JVM

    11. No Access

      Book Chapter

      Pages 182-197

      The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming

    12. No Access

      Book Chapter

      Pages 198-214

      Lingua Franca of Functional Programming (FP)

    13. No Access

      Book Chapter

      Pages 215-230

      Haskell Gets Argumentative

    14. No Access

      Book Chapter

      Pages 231-246

      Repeating History: Execution Replay for Parallel Haskell Programs

    15. No Access

      Book Chapter

      Pages 247-262

      Supervised Workpools for Reliable Massively Parallel Computing

    16. No Access

      Book Chapter

      Pages 263-278

      RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software

    17. No Access

      Book Chapter

      Pages 279-294

      Towards Heterogeneous Computing without Heterogeneous Programming

    18. No Access

      Book Chapter

      Pages 295-310

      On Using Erlang for Parallelization

  4. Back Matter

    Pages -