Format:
1 Online-Ressource(VII, 143 p. 250 illus., 1 illus. in color.)
Edition:
1st ed. 2020.
ISBN:
9783030471477
Series Statement:
Theoretical Computer Science and General Issues 12053
Content:
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.
Content:
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.
Additional Edition:
ISBN 9783030471460
Additional Edition:
ISBN 9783030471484
Additional Edition:
Erscheint auch als Druck-Ausgabe TFP (20. : 2019 : Vancouver, British Columbia) Trends in functional programming Cham : Springer, 2020 ISBN 9783030471460
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783030471484
Language:
English
Subjects:
Computer Science
Keywords:
Funktionale Programmierung
;
Konferenzschrift
DOI:
10.1007/978-3-030-47147-7
Bookmarklink
