Trends In Functional Programming Volume 6

This book collects the latest research developments in the use of functional programming languages. The contents highlight major research goals and engineering concerns in the subject including: real-time and resource-bounded functional programming; connections between static analysis methods and functional programming; implementation of mobile code functional languages; automated testing of application programs and system models; These research contributions are drawn from the international symposium on Trends in Functional Programming. This meeting provides a vital forum for the dissemination of the latest technical advances in the field.

This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 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.

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Chapter ‘Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapter ‘High-level Modelling for Typed Functional Programming’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006.

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests 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.

This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.