Editors:
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)
Conference series link(s): TFP: International Symposium on Trends in Functional Programming
Conference proceedings info: TFP 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 papers)
-
Front Matter
-
Back Matter
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.
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
-
Chalmers University of Technology, Gothenburg, Sweden
Michał Pałka, Magnus Myreen
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