Advertisement

Trends in Functional Programming

19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

  • Michał Pałka
  • Magnus Myreen
Conference proceedings TFP 2018

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

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

Table of contents

  1. Front Matter
    Pages i-vii
  2. Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson
    Pages 1-19
  3. Folkert de Vries, Jorge A. Pérez
    Pages 20-45
  4. Paul Keir, Andrew Gozillon, Seyed Hossein Haeri
    Pages 46-73
  5. J. López-González, Juan M. Serrano
    Pages 74-93
  6. Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
    Pages 94-113
  7. Martin A. T. Handley, Graham Hutton
    Pages 114-135
  8. Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman
    Pages 136-156
  9. Back Matter
    Pages 157-157

About these proceedings

Introduction

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers 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

compilers computer architecture data structures design and analysis data types and structures distributed programming languages domain specific languages formal software verification functional languages functional programming haskell lambda calculus planning and scheduling program reasoning programming languages programming logic run-time environments semantics software verification type theory

Editors and affiliations

  • Michał Pałka
    • 1
  • Magnus Myreen
    • 2
  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.Chalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-18506-0
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-18505-3
  • Online ISBN 978-3-030-18506-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Aerospace