default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th TFP 2012: St. Andrews, UK
- Hans-Wolfgang Loidl, Ricardo Peña:
Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7829, Springer 2013, ISBN 978-3-642-40446-7
Invited Talk
- D. A. Turner:
Some History of Functional Programming Languages - (Invited Talk). 1-20
Contributions
- Josef Svenningsson, Emil Axelsson:
Combining Deep and Shallow Embedding for EDSL. 21-36 - Luminous Fennell, Peter Thiemann:
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. 37-52 - Attila Góbi
, Olha Shkaravska, Marko C. J. D. van Eekelen:
Higher-Order Size Checking without Subtyping. 53-68 - Erik Silkensen, Jeremy G. Siek:
Well-Typed Islands Parse Faster. 69-84 - Sjaak Smetsers, Marko C. J. D. van Eekelen:
Higher-Order Strictness Typing. 85-100 - Judith Rohloff, Florian Lorenzen:
Call-by-Value Semantics for Mutually Recursive First-Class Modules. 101-116 - Adam M. Procter, William L. Harrison, Aaron Stump:
The Design of a Practical Proof Checker for a Lazy Functional Language. 117-132 - Dimitur Nikolaev Krustev:
Towards a Framework for Building Formally Verified Supercompilers in Coq. 133-148 - Vladimir Komendantsky:
Matching Problem for Regular Expressions with Variables. 149-166 - Xavier Clerc:
OCaml-Java: OCaml on the JVM. 167-181 - Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck:
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper). 182-197 - Peter Kourzanov, Henk J. Sips:
Lingua Franca of Functional Programming (FP). 198-214 - Bas van Gijzel, Henrik Nilsson:
Haskell Gets Argumentative. 215-230 - Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond:
Repeating History: Execution Replay for Parallel Haskell Programs. 231-246 - Robert J. Stewart, Phil Trinder, Patrick Maier:
Supervised Workpools for Reliable Massively Parallel Computing. 247-262 - Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger:
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). 263-278 - Miguel Diogo, Clemens Grelck:
Towards Heterogeneous Computing without Heterogeneous Programming. 279-294 - Stavros Aronis, Konstantinos Sagonas:
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. 295-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
