Trends in Functional Programming
1 Verfügbar 
Kostenloser Versand
Details
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.
Inhalt
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.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09783319897189
- Editor Scott Owens, Meng Wang
- Sprache Englisch
- Auflage 1st edition 2018
- Größe H235mm x B155mm x T9mm
- Jahr 2018
- EAN 9783319897189
- Format Kartonierter Einband
- ISBN 3319897187
- Veröffentlichung 19.04.2018
- Titel Trends in Functional Programming
- Untertitel 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
- Gewicht 254g
- Herausgeber Springer International Publishing
- Anzahl Seiten 160
- Lesemotiv Verstehen
- Genre Informatik
