The Science of Functional Programming (draft version)
Title | The Science of Functional Programming (draft version) PDF eBook |
Author | Sergei Winitzki |
Publisher | Lulu.com |
Total Pages | 468 |
Release | |
Genre | |
ISBN | 0359768776 |
An Introduction to Functional Programming
Title | An Introduction to Functional Programming PDF eBook |
Author | Richard Bird |
Publisher | |
Total Pages | 156 |
Release | 1986 |
Genre | Functional programming (Computer science) |
ISBN |
Trends in Functional Programming
Title | Trends in Functional Programming PDF eBook |
Author | Michał Pałka |
Publisher | Springer |
Total Pages | 157 |
Release | 2019-04-23 |
Genre | Computers |
ISBN | 3030185060 |
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 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.
The Science of Functional Programming, Part I
Title | The Science of Functional Programming, Part I PDF eBook |
Author | Sergei Winitzki |
Publisher | |
Total Pages | 0 |
Release | 2024-01-13 |
Genre | Computers |
ISBN | 9781471040047 |
This book is a pedagogical in-depth tutorial and reference on the functional programming paradigm. Starting from issues found in practical coding, the book builds up the theoretical intuition, knowledge, and techniques that functional programmers use for for rigorous reasoning about types and code. The first part of the book focuses on working with collections; recursive functions and types; higher-order functions; and the Curry-Howard correspondence. Detailed explanations and derivations are accompanied by solved examples tested in the Scala interpreter, as well as exercises and discussions that further build upon each chapter's material. The difficulty of this book's mathematical material is at the level of undergraduate multivariate calculus.
Elements of Functional Programming
Title | Elements of Functional Programming PDF eBook |
Author | Chris Reade |
Publisher | |
Total Pages | 600 |
Release | 1991 |
Genre | |
ISBN |
The Elements of Programming Style
Title | The Elements of Programming Style PDF eBook |
Author | Brian W. Kernighan |
Publisher | McGraw-Hill Companies |
Total Pages | 172 |
Release | 1974 |
Genre | Computers |
ISBN |
Covers Expression, Structure, Common Blunders, Documentation, & Structured Programming Techniques
An Introduction to Functional Programming Through Lambda Calculus
Title | An Introduction to Functional Programming Through Lambda Calculus PDF eBook |
Author | Greg Michaelson |
Publisher | Courier Corporation |
Total Pages | 336 |
Release | 2013-04-10 |
Genre | Mathematics |
ISBN | 0486280292 |
Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.