Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Başlık:
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Yazar:
Wang, Meng. editor.
ISBN:
9783319897196
Edisyon:
1st ed. 2018.
Fiziksel Niteleme:
VII, 149 p. 48 illus. online resource.
Seri:
Theoretical Computer Science and General Issues ; 10788
İçindekiler:
Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.
Özet:
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.
Konu Başlığı:
Ek Kurum Yazar:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-89719-6