Trends in Functional Programming
16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Editors: Serrano, Manuel, Hage, Jurriaan (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests 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 (8 chapters)
-
-
Lightweight Higher-Order Rewriting in Haskell
Pages 1-21
-
Towards a Theory of Reach
Pages 22-39
-
Functional Testing of Java Programs
Pages 40-59
-
Type Class Instances for Type-Level Lambdas in Haskell
Pages 60-84
-
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming
Pages 85-103
-
Table of contents (8 chapters)
- Download Preface 1 PDF (38.9 KB)
- Download Sample pages 2 PDF (227.1 KB)
- Download Table of contents PDF (46.4 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Trends in Functional Programming
- Book Subtitle
- 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
- Editors
-
- Manuel Serrano
- Jurriaan Hage
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 9547
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-39110-6
- DOI
- 10.1007/978-3-319-39110-6
- Softcover ISBN
- 978-3-319-39109-0
- Edition Number
- 1
- Number of Pages
- VII, 157
- Number of Illustrations
- 22 b/w illustrations
- Topics
