Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers / [edited by] Ricardo Peña, Rex Page.
Material type:
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
e-Library
Electronic Book@IST |
EBook | Available |
Constraint-Free Type Error Slicing / Thomas Schilling -- Subtyping by Folding an Inductive Relation into a Coinductive One / Vladimir Komendantsky -- Epic--A Library for Generating Compilers / Edwin Brady -- Towards Modular Compilers for Effects / Laurence E. Day and Graham Hutton -- Functory: A Distributed Computing Library for Objective Caml / Jean-Christophe Filliâtre and K. Kalyanasundaram -- ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques / Christopher Brown, Hans-Wolfgang Loidl and Kevin Hammond -- Functional High Performance Financial IT: The Hiperfit Research Center in Copenhagen / Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen and Mogens Steffensen, et al. -- Thread-Safe Priority Queues in Haskell Based on Skiplists / Michael Lesniak -- Adams' Trees Revisited: Correctness Proof and Efficient Implementation / Milan Straka -- Functional Video Games in CS1 II: From Structural Recursion to Generative and Accumulative Recursion / Marco T. Morazán -- GiN: A Graphical Language and Tool for Defining iTask Workflows / Jeroen Henrix, Rinus Plasmeijer and Peter Achten -- Applicative Shortcut Fusion / Germán Andrés Delbianco, Mauro Jaskelioff and Alberto Pardo.
Includes bibliographical references and index.
Online resource; title from PDF title page (SpringerLink, viewed Aug. 28, 2012).
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous.