Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

  • Manuel Serrano
  • Jurriaan Hage
Conference proceedings TFP 2015

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

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

Table of contents

  1. Front Matter
    Pages I-VII
  2. Emil Axelsson, Andrea Vezzosi
    Pages 1-21
  3. Jonathan Fowler, Graham Huttom
    Pages 22-39
  4. Clara Benac Earle, Lars-Åke Fredlund
    Pages 40-59
  5. Thijs Alkemade, Johan Jeuring
    Pages 60-84
  6. Baltasar Trancón y Widemann, Markus Lepper
    Pages 85-103
  7. Pieter Koopman, Rinus Plasmeijer
    Pages 104-123
  8. Anders Persson, Emil Axelsson
    Pages 124-135
  9. Catherine Dubois, François Pessaux
    Pages 136-156
  10. Back Matter
    Pages 157-157

About these proceedings


This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 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. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.


artificial life domain-specific languages functional programming genetic programming software testing

Editors and affiliations

  • Manuel Serrano
    • 1
  • Jurriaan Hage
    • 2
  1. 1.INRIA Sophia AntipolisSophia AntipolisFrance
  2. 2.Dept.Information and Computing Sc.Utrecht UniversityUtrechtThe Netherlands

Bibliographic information

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