Trends in Functional Programming
18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed revised selected papers of the 18 th 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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 46.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Trends in Functional Programming “
Klappentext zu „Trends in Functional Programming “
This book constitutes the thoroughly refereed revised selected papers of the 18 th 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.Inhaltsverzeichnis zu „Trends in Functional Programming “
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.
Bibliographische Angaben
- 2018, 1st ed. 2018, VII, 149 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Meng Wang, Scott Owens
- Verlag: Springer, Berlin
- ISBN-10: 3319897187
- ISBN-13: 9783319897189
- Erscheinungsdatum: 19.04.2018
Sprache:
Englisch
Kommentar zu "Trends in Functional Programming"
0 Gebrauchte Artikel zu „Trends in Functional Programming“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Trends in Functional Programming".
Kommentar verfassen