Advertisement

Trends in Functional Programming

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

  • Ricardo Peña
  • Rex Page
Conference proceedings TFP 2011

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

Table of contents

  1. Front Matter
    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
    PDF

About these proceedings

Introduction

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.

Keywords

Haskell distributed computing library modular compilers priority queues

Editors and affiliations

  • Ricardo Peña
    • 1
  • Rex Page
    • 2
  1. 1.Facultad de Informática, Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain
  2. 2.School of Computer ScienceUniversity of OklahomaNormanUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-32037-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32036-1
  • Online ISBN 978-3-642-32037-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering