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)
| 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
|
| |