Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11457)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: TFP 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 papers)
Other volumes
-
Trends in Functional Programming
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
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Trends in Functional Programming
Book Subtitle: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Editors: Michał Pałka, Magnus Myreen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-18506-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-18505-3Published: 24 April 2019
eBook ISBN: 978-3-030-18506-0Published: 23 April 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 157
Number of Illustrations: 846 b/w illustrations, 16 illustrations in colour
Topics: Programming Techniques, Programming Languages, Compilers, Interpreters, Operating Systems, Logic Design, Processor Architectures
Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications