Trends in Functional Programming, Volume 12

Selected papers from the Twelfth Symposium on Trends in Functional Programming (TFP11),
Madrid, Spain, June 2011
Ricardo Peña and Rex Page (editors)
Springer Verlag, Berlin Heidelberg, 2012
Lecture Notes in Computer Science, Volume 7193
DOI: 10.1007/978-3-642-22941-1 ISBN 978-3-642-32036-1

Table of Contents

Constraint-Free Type Error Slicing. 1–16
Thomas Schilling
Subtyping by Folding an Inductive Relation into a Coinductive One. 17–32
Vladimir Komendantsky
Epic - A Library for Generating Compilers 33–48
Edwin Brady
Towards Modular Compilers for Effects. 49–64
Laurence E. Day, Graham Hutton TFP Best Student Paper
Functory: A Distributed Computing Library for Objective Caml. 65–81
Jean-Christophe Filliátre, K. Kalyanasundaram
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. 82–97
Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond
Functional High Performance Financial IT 98–113
Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter
Thread-Safe Priority Queues in Haskell Based on Skiplists. 114–129
Michael Lesniak
Adams' Trees Revisited 130–145
Milan Straka
Functional Video Games in CS1 II. 146–162
Marco T. Morazán
GiN: A Graphical Language and Tool for Defining iTask Workflows. 163–178
Jeroen Henrix, Rinus Plasmeijer, Peter Achten
Applicative Shortcut Fusion. 179–194
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo