Trends in Functional Programming, Volume 13

Selected papers from the Thirteenth Symposium on Trends in Functional Programming (TFP12),
St Andrews, Scotland, UK
Hans-Wolfgang Loidl and Ricardo Peña (editors)
Springer Verlag, Berlin Heidelberg, 2013
Lecture Notes in Computer Science, Volume 7829
DOI 10.1007/978-3-642-40447-4
ISBN: 978-3-642-40446-7 (Print)
ISBN: 978-3-642-40447-4 (Online)

Table of Contents

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