Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13401)
Conference series link(s): TFP: International Symposium on Trends in Functional Programming
Conference proceedings info: TFP 2022.
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 (9 papers)
-
Front Matter
-
Back Matter
About this book
The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area.
Keywords
- high performance functional programming
- functional programming in the cloud
- validation and verification of functional programs
- interoperability with imperative programming languages
- program analysis and transformation techniques
- embedded domain specific languages
- artificial intelligence
- programming languages
- distributed computer systems
- embedded systems
Editors and Affiliations
-
Utrecht University, Utrecht, The Netherlands
Wouter Swierstra
-
Imperial College, London, UK
Nicolas Wu
Bibliographic Information
Book Title: Trends in Functional Programming
Book Subtitle: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers
Editors: Wouter Swierstra, Nicolas Wu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-21314-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-21313-7Published: 02 January 2023
eBook ISBN: 978-3-031-21314-4Published: 01 January 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 193
Number of Illustrations: 686 b/w illustrations, 11 illustrations in colour
Topics: Programming Techniques, Computer System Implementation, Natural Language Processing (NLP), Control Structures and Microprogramming, Professional Computing