Skip to main content
  • Conference proceedings
  • © 2013

Trends in Functional Programming

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

  • Proceedings of the 13th International Symposium on Trends in Functional Programming, TFP 2012

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): TFP: International Symposium on Trends in Functional Programming

Conference proceedings info: TFP 2012.

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-40447-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 64.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Invited Talk

  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. Matching Problem for Regular Expressions with Variables

      • Vladimir Komendantsky
      Pages 149-166
    9. OCaml-Java: OCaml on the JVM

      • Xavier Clerc
      Pages 167-181
    10. 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
    11. Lingua Franca of Functional Programming (FP)

      • Peter Kourzanov, Henk Sips
      Pages 198-214
    12. Haskell Gets Argumentative

      • Bas van Gijzel, Henrik Nilsson
      Pages 215-230
    13. Repeating History: Execution Replay for Parallel Haskell Programs

      • Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
      Pages 231-246
    14. Supervised Workpools for Reliable Massively Parallel Computing

      • Robert Stewart, Phil Trinder, Patrick Maier
      Pages 247-262
    15. 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
    16. Towards Heterogeneous Computing without Heterogeneous Programming

      • Miguel Diogo, Clemens Grelck
      Pages 279-294
    17. On Using Erlang for Parallelization

      • Stavros Aronis, Konstantinos Sagonas
      Pages 295-310

Other Volumes

  1. Trends in Functional Programming

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

About this book

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

  • School of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland, UK

    Hans-Wolfgang Loidl

  • Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Ricardo Peña

Bibliographic Information

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-40447-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 64.99
Price excludes VAT (USA)