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