Trends in Functional Programming
20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
Editors: Bowman, William, Garcia, Ronald (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (6 chapters)
-
-
Quotients by Idempotent Functions in Cedille
Pages 1-20
-
Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker
Pages 21-37
-
Verifying Selective CPS Transformation for Shift and Reset
Pages 38-57
-
How to Specify It!
Pages 58-83
-
Type Inference for Rank 2 Gradual Intersection Types
Pages 84-120
-
Table of contents (6 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Trends in Functional Programming
- Book Subtitle
- 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
- Editors
-
- William Bowman
- Ronald Garcia
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 12053
- Copyright
- 2020
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-47147-7
- DOI
- 10.1007/978-3-030-47147-7
- Softcover ISBN
- 978-3-030-47146-0
- Edition Number
- 1
- Number of Pages
- VII, 143
- Number of Illustrations
- 249 b/w illustrations, 1 illustrations in colour
- Topics