Abstract is missing.
- Some History of Functional Programming Languages - (Invited Talk)D. A. Turner. 1-20 [doi]
- Combining Deep and Shallow Embedding for EDSLJosef Svenningsson, Emil Axelsson. 21-36 [doi]
- The Blame Theorem for a Linear Lambda Calculus with Type DynamicLuminous Fennell, Peter Thiemann. 37-52 [doi]
- Higher-Order Size Checking without SubtypingAttila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen. 53-68 [doi]
- Well-Typed Islands Parse FasterErik Silkensen, Jeremy G. Siek. 69-84 [doi]
- Higher-Order Strictness TypingSjaak Smetsers, Marko C. J. D. van Eekelen. 85-100 [doi]
- Call-by-Value Semantics for Mutually Recursive First-Class ModulesJudith Rohloff, Florian Lorenzen. 101-116 [doi]
- The Design of a Practical Proof Checker for a Lazy Functional LanguageAdam M. Procter, William L. Harrison, Aaron Stump. 117-132 [doi]
- Towards a Framework for Building Formally Verified Supercompilers in CoqDimitur Nikolaev Krustev. 133-148 [doi]
- Matching Problem for Regular Expressions with VariablesVladimir Komendantsky. 149-166 [doi]
- OCaml-Java: OCaml on the JVMXavier Clerc. 167-181 [doi]
- The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper)Baltasar Trancón-y-Widemann, Carl Friedrich Bolz, Clemens Grelck. 182-197 [doi]
- Lingua Franca of Functional Programming (FP)Pjotr Kourzanov, Henk J. Sips. 198-214 [doi]
- Haskell Gets ArgumentativeBas van Gijzel, Henrik Nilsson. 215-230 [doi]
- Repeating History: Execution Replay for Parallel Haskell ProgramsHenrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond. 231-246 [doi]
- Supervised Workpools for Reliable Massively Parallel ComputingRobert J. Stewart, Phil Trinder, Patrick Maier. 247-262 [doi]
- RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper)Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos F. Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger. 263-278 [doi]
- Towards Heterogeneous Computing without Heterogeneous ProgrammingMiguel Diogo, Clemens Grelck. 279-294 [doi]
- On Using Erlang for Parallelization - Experience from Parallelizing DialyzerStavros Aronis, Konstantinos F. Sagonas. 295-310 [doi]