Exploring ReasonML and Functional Programming
by Axel Rauschmayer
Publisher: ReasonML Hub 2018
Number of pages: 485
Home page url
Download or read it online for free here:
by Robert Virding, Claes Wikstrom, Mike Williams - Prentice Hall PTR
A tutorial of Erlang, a concurrent, functional programming language. The emphasis of this book is on learning through example and a number of well known problems in designing and programming concurrent fault-tolerant real-time systems.
by Andrew Cumming - Napier University
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
by David Mertz - O'Reilly Media
Python is not a functional programming language, but it is a multi-paradigm language that makes functional programming easy to perform. This book examines the functional aspects of the language and points out which options work well and which do not.
by Adam Chlipala
The purpose of this book is to convince people who write software that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.