Skip to main content
SpringerLink
Log in

Trends in Functional Programming

12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Ricardo Peña

    1. Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rex Page

    1. School of Computer Science, University of Oklahoma, Norman, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7193)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TFP 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Types

    1. Constraint-Free Type Error Slicing

      • Thomas Schilling
      Pages 1-16

    2. Subtyping by Folding an Inductive Relation into a Coinductive One

      • Vladimir Komendantsky
      Pages 17-32

  3. Compiling

    1. Epic—A Library for Generating Compilers

      • Edwin Brady
      Pages 33-48

    2. Towards Modular Compilers for Effects

      • Laurence E. Day, Graham Hutton
      Pages 49-64

  4. Parallelism and Distribution

    1. Functory: A Distributed Computing Library for Objective Caml

      • Jean-Christophe Filliâtre, K. Kalyanasundaram
      Pages 65-81

    2. ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques

      • Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond
      Pages 82-97

    3. Functional High Performance Financial IT

      • Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter
      Pages 98-113

  5. Data Structures

    1. Thread-Safe Priority Queues in Haskell Based on Skiplists

      • Michael Lesniak
      Pages 114-129

    2. Adams’ Trees Revisited

      • Milan Straka
      Pages 130-145

  6. Miscellaneous

    1. Functional Video Games in CS1 II

      • Marco T. Morazán
      Pages 146-162

    2. GiN: A Graphical Language and Tool for Defining iTask Workflows

      • Jeroen Henrix, Rinus Plasmeijer, Peter Achten
      Pages 163-178

    3. Applicative Shortcut Fusion

      • Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo
      Pages 179-194

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Trends in Functional Programming

Keywords

About this book

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, paralelelism and distribution, data structures, and miscellaneous.

Editors and Affiliations

  • Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    Ricardo Peña

  • School of Computer Science, University of Oklahoma, Norman, USA

    Rex Page

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation