Trends in Functional Programming

15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

  • Jurriaan Hage
  • Jay McCarthy
Conference proceedings TFP 2014

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8843)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Malak Aljabri, Hans-Wolfgang Loidl, Phil Trinder
    Pages 1-17
  3. Edwin Brady
    Pages 18-33
  4. Joachim Breitner
    Pages 34-50
  5. Amy de Buitléir, Mark Daly, Michael Russell, Daniel Heffernan
    Pages 68-83
  6. Maarten Faddegon, Olaf Chitil
    Pages 84-103
  7. István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi et al.
    Pages 104-121
  8. Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten
    Pages 122-141
  9. Back Matter
    Pages 143-143

About these proceedings


This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area.


Artificial Life Clean Compilers Concurrency Datatype Generic Programming Dependently-Typed Programming Distributed Heaps Domain-Specific Languages Effects Functional Programming Generic Programming Genetic Programming Haskell Matrix Operations Programming Languages Refactoring Static Analysis Task Programming

Editors and affiliations

  • Jurriaan Hage
    • 1
  • Jay McCarthy
    • 2
  1. 1.Utrecht UniversityUtrechtThe Netherlands
  2. 2.Vassar CollegeWappingers FallsUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-14674-4
  • Online ISBN 978-3-319-14675-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site