Amazon cover image
Image from Amazon.com

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.

By: (12th : International Symposium on Trends in Functional Programming (12th : 2011 : Madrid, Spain)Contributor(s): Peña, Ricardo, 1950- | Page, Rex, 1944-Material type: TextTextSeries: 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 | Programmation fonctionnelle -- Congrès | Structures de données (Informatique) -- Congrès | 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. | Congress | Electronic books. | Conference papers and proceedings. | Conference papers and proceedings. | Actes de congrès. 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
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook_LNCS Available
Total holds: 0

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.

Powered by Koha