Trends in Functional Programming
20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
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 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.Inhaltsverzeichnis zu „Trends in Functional Programming “
Quotients by Idempotent Functions in Cedille.- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker.- Verifying Selective CPS Transformation for Shift and Reset.- How to Specify it! A Guide to Writing Properties of Pure Functions.- Type Inference for Rank 2 Gradual Intersection Types.- Set Constraints, Pattern Match Analysis, and SMT.
Bibliographische Angaben
- 2020, 1st ed. 2020, VII, 143 Seiten, 1 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: William J. Bowman, Ronald Garcia
- Verlag: Springer, Berlin
- ISBN-10: 3030471462
- ISBN-13: 9783030471460
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