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:
TextSeries: Serienbezeichnung | Lecture notes in computer science ; 7193. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Heidelberg ; New York : Springer, ©2012. Description: 1 online resource (x, 194 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642320378; 3642320376Other title: TFP 2011Subject(s): Functional programming (Computer science) -- Congresses | Logic design -- Computer programs -- Congresses | Data structures (Computer science) -- Congresses | Informatique | Data structures (Computer science) | Functional programming (Computer science) | Logic design -- Computer programs | Computer science | Programming Techniques | Programming Languages, Compilers, Interpreters | Data Structures | Logics and Meanings of Programs | computerwetenschappen | computer sciences | programmeertalen | programming languages | programmeren | programming | gegevensstructuren | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Trends in Functional Programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers.DDC classification: 005.1/3 LOC classification: QA76.62 | I58 2012Other classification: 54.51 Online resources: Click here to access online | Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
eBook
|
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.