Login / Signup
Trends in Functional Programming
2003
2007
2011
2015
2003
2015
Keyphrases
Publications
volume 8843, 2015
Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Trends in Functional Programming
8843 (2015)
2014
Edwin C. Brady
Resource-Dependent Algebraic Effects.
Trends in Functional Programming
(2014)
István Bozó
,
Viktoria Fordós
,
Dániel Horpácsi
,
Zoltán Horváth
,
Tamás Kozsik
,
Judit Köszegi
,
Melinda Tóth
Refactorings to Enable Parallelization.
Trends in Functional Programming
(2014)
Joachim Breitner
Call Arity.
Trends in Functional Programming
(2014)
Malak Saleh Aljabri
,
Hans-Wolfgang Loidl
,
Phil Trinder
Balancing Shared and Distributed Heaps on NUMA Architectures.
Trends in Functional Programming
(2014)
Maarten Faddegon
,
Olaf Chitil
Type Generic Observing.
Trends in Functional Programming
(2014)
Amy de Buitléir
,
Mark Daly
,
Michael Russell
,
Daniel M. Heffernan
A Functional Approach to Sex: Reproduction in the Créatúr Framework.
Trends in Functional Programming
(2014)
Nikita Danilenko
Graph Problems and Vector-Matrix Multiplications in Haskell.
Trends in Functional Programming
(2014)
Jurriën Stutterheim
,
Rinus Plasmeijer
,
Peter Achten
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.
Trends in Functional Programming
(2014)
volume 8322, 2014
Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Trends in Functional Programming
8322 (2014)
2013
Baltasar Trancón y Widemann
Total Functional Software Engineering - Overview Paper.
Trends in Functional Programming
(2013)
Marco T. Morazán
Bytecode and Memoized Closure Performance.
Trends in Functional Programming
(2013)
Marco T. Morazán
Functional Video Games in CS1 III - Distributed Programming for Beginners.
Trends in Functional Programming
(2013)
Pieter W. M. Koopman
,
Peter Achten
,
Rinus Plasmeijer
Model-Based Shrinking for State-Based Testing.
Trends in Functional Programming
(2013)
Kevin Tew
,
James Swaine
,
Matthew Flatt
,
Robert Bruce Findler
,
Peter A. Dinda
Distributed Places.
Trends in Functional Programming
(2013)
Carlo Spaccasassi
,
Vasileios Koutavas
Towards Efficient Abstractions for Concurrent Consensus.
Trends in Functional Programming
(2013)
Christiaan Baaij
,
Jan Kuper
Using Rewriting to Synthesize Functional Languages to Digital Circuits.
Trends in Functional Programming
(2013)
Steven Lyde
,
Matthew Might
Control-Flow Analysis with SAT Solvers.
Trends in Functional Programming
(2013)
Dries Harnie
,
Christophe Scholliers
,
Wolfgang De Meuter
Blame Prediction.
Trends in Functional Programming
(2013)
Thomas Gilray
,
Matthew Might
A Survey of Polyvariance in Abstract Interpretations.
Trends in Functional Programming
(2013)
volume 7829, 2013
Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Trends in Functional Programming
7829 (2013)
2012
Bas van Gijzel
,
Henrik Nilsson
Haskell Gets Argumentative.
Trends in Functional Programming
(2012)
Peter Kourzanov
,
Henk J. Sips
Lingua Franca of Functional Programming (FP).
Trends in Functional Programming
(2012)
D. A. Turner
Some History of Functional Programming Languages - (Invited Talk).
Trends in Functional Programming
(2012)
Dimitur Nikolaev Krustev
Towards a Framework for Building Formally Verified Supercompilers in Coq.
Trends in Functional Programming
(2012)
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).
Trends in Functional Programming
(2012)
Robert J. Stewart
,
Phil Trinder
,
Patrick Maier
Supervised Workpools for Reliable Massively Parallel Computing.
Trends in Functional Programming
(2012)
Judith Rohloff
,
Florian Lorenzen
Call-by-Value Semantics for Mutually Recursive First-Class Modules.
Trends in Functional Programming
(2012)
Josef Svenningsson
,
Emil Axelsson
Combining Deep and Shallow Embedding for EDSL.
Trends in Functional Programming
(2012)
Erik Silkensen
,
Jeremy G. Siek
Well-Typed Islands Parse Faster.
Trends in Functional Programming
(2012)
Adam M. Procter
,
William L. Harrison
,
Aaron Stump
The Design of a Practical Proof Checker for a Lazy Functional Language.
Trends in Functional Programming
(2012)
Luminous Fennell
,
Peter Thiemann
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.
Trends in Functional Programming
(2012)
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Higher-Order Strictness Typing.
Trends in Functional Programming
(2012)
Henrique Ferreiro
,
Vladimir Janjic
,
Laura M. Castro
,
Kevin Hammond
Repeating History: Execution Replay for Parallel Haskell Programs.
Trends in Functional Programming
(2012)
Stavros Aronis
,
Konstantinos Sagonas
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.
Trends in Functional Programming
(2012)
Baltasar Trancón y Widemann
,
Carl Friedrich Bolz
,
Clemens Grelck
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper).
Trends in Functional Programming
(2012)
Miguel Diogo
,
Clemens Grelck
Towards Heterogeneous Computing without Heterogeneous Programming.
Trends in Functional Programming
(2012)
Vladimir Komendantsky
Matching Problem for Regular Expressions with Variables.
Trends in Functional Programming
(2012)
Attila Góbi
,
Olha Shkaravska
,
Marko C. J. D. van Eekelen
Higher-Order Size Checking without Subtyping.
Trends in Functional Programming
(2012)
Xavier Clerc
OCaml-Java: OCaml on the JVM.
Trends in Functional Programming
(2012)
volume 7193, 2012
Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Trends in Functional Programming
7193 (2012)
2011
Jean-Christophe Filliâtre
,
K. Kalyanasundaram
Functory: A Distributed Computing Library for Objective Caml.
Trends in Functional Programming
(2011)
Marco T. Morazán
Functional Video Games in CS1 II.
Trends in Functional Programming
(2011)
Laurence E. Day
,
Graham Hutton
Towards Modular Compilers for Effects.
Trends in Functional Programming
(2011)
Edwin C. Brady
Epic - A Library for Generating Compilers.
Trends in Functional Programming
(2011)
Jost Berthold
,
Andrzej Filinski
,
Fritz Henglein
,
Ken Friis Larsen
,
Mogens Steffensen
,
Brian Vinter
Functional High Performance Financial IT.
Trends in Functional Programming
(2011)
Milan Straka
Adams' Trees Revisited.
Trends in Functional Programming
(2011)
Jeroen Henrix
,
Rinus Plasmeijer
,
Peter Achten
GiN: A Graphical Language and Tool for Defining iTask Workflows.
Trends in Functional Programming
(2011)
Thomas Schilling
Constraint-Free Type Error Slicing.
Trends in Functional Programming
(2011)
volume 6546, 2011
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Trends in Functional Programming
6546 (2011)