|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: William J. Bowman , Ronald GarciaPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2020 Volume: 12053 Weight: 0.454kg ISBN: 9783030471460ISBN 10: 3030471462 Pages: 143 Publication Date: 30 April 2020 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsQuotients 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |