Advertisement

© 2013

Trends in Functional Programming

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

  • Hans-Wolfgang Loidl
  • Ricardo Peña
Conference proceedings TFP 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7829)

Table of contents

  1. Front Matter
    PDF

  2. Invited Talk

    1. Some History of Functional Programming Languages
      D. A. Turner
      Pages 1-20

  3. Contributions

    1. Combining Deep and Shallow Embedding for EDSL
      Josef Svenningsson, Emil Axelsson
      Pages 21-36
    2. The Blame Theorem for a Linear Lambda Calculus with Type Dynamic
      Luminous Fennell, Peter Thiemann
      Pages 37-52
    3. Higher-Order Size Checking without Subtyping
      Attila Góbi, Olha Shkaravska, Marko van Eekelen
      Pages 53-68
    4. Well-Typed Islands Parse Faster
      Erik Silkensen, Jeremy Siek
      Pages 69-84
    5. Higher-Order Strictness Typing
      Sjaak Smetsers, Marko van Eekelen
      Pages 85-100
    6. Call-by-Value Semantics for Mutually Recursive First-Class Modules
      Judith Rohloff, Florian Lorenzen
      Pages 101-116
    7. The Design of a Practical Proof Checker for a Lazy Functional Language
      Adam Procter, William L. Harrison, Aaron Stump
      Pages 117-132
    8. Towards a Framework for Building Formally Verified Supercompilers in Coq
      Dimitur Nikolaev Krustev
      Pages 133-148
    9. Matching Problem for Regular Expressions with Variables
      Vladimir Komendantsky
      Pages 149-166
    10. OCaml-Java: OCaml on the JVM
      Xavier Clerc
      Pages 167-181
    11. The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming
      Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck
      Pages 182-197
    12. Lingua Franca of Functional Programming (FP)
      Peter Kourzanov, Henk Sips
      Pages 198-214
    13. Haskell Gets Argumentative
      Bas van Gijzel, Henrik Nilsson
      Pages 215-230
    14. Repeating History: Execution Replay for Parallel Haskell Programs
      Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
      Pages 231-246
    15. Supervised Workpools for Reliable Massively Parallel Computing
      Robert Stewart, Phil Trinder, Patrick Maier
      Pages 247-262
    16. RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software
      Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas et al.
      Pages 263-278
    17. Towards Heterogeneous Computing without Heterogeneous Programming
      Miguel Diogo, Clemens Grelck
      Pages 279-294
    18. On Using Erlang for Parallelization
      Stavros Aronis, Konstantinos Sagonas
      Pages 295-310

About these proceedings

Introduction

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.

Keywords

lambda calculus lazy functional language parallel programs regular expressions typing

Editors and affiliations

  • Hans-Wolfgang Loidl
    • 1
  • Ricardo Peña
    • 2
  1. 1.School of Mathematics and Computer ScienceHeriot-Watt UniversityEdinburghScotland, UK
  2. 2.Facultad de InformáticaUniversidad Complutense de MadridMadridSpain

Bibliographic information