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)

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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-39110-6
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-39109-0
  • Online ISBN 978-3-319-39110-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book