Advertisement

Table of contents

  1. Front Matter
    Pages I-VII
  2. Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev
    Pages 1-18
  3. Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
    Pages 19-38
  4. Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev
    Pages 39-58
  5. Jan Midtgaard
    Pages 59-78
  6. Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens
    Pages 79-97
  7. Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
    Pages 98-117
  8. Oskar Abrahamsson, Magnus O. Myreen
    Pages 118-134
  9. Rikard Hjort, Jakob Holmgren, Christian Persson
    Pages 135-148
  10. Back Matter
    Pages 149-149

About these proceedings

Introduction

This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.

Keywords

semantics software engineering computer programming programming languages computer architecture computer software selection distributed computer systems parallel processing systems parallel processing systems parallel processing systems web services artificial life datatype generic programming domain specific languages languages refactoring statistic analysis Haskell taks programming

Editors and affiliations

  • Meng Wang
    • 1
  • Scott Owens
    • 2
  1. 1.University of BristolBristolUnited Kingdom
  2. 2.University of KentKentUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-89719-6
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89718-9
  • Online ISBN 978-3-319-89719-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site