11 results - showing 1 - 10
1 2
Ordering
Certified Programming with Dependent Types by Adam Chlipala
 
0.0 (0)
Ebooks May 27, 2022 6
Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. 
Functional Programming and Parallel Graph Rewriting by Rinus Plasmeijer, Marko van Eekelen
 
0.0 (0)
Ebooks May 22, 2022 3

Ebook Details

Author
Rinus Plasmeijer, Marko van Eekelen
Publisher
Addison-Wesley 1993
This is an introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming
Real World Functional Programming by Tomas Petricek, Jon Skeet, Yin Zhu
 
0.0 (0)
Ebooks May 20, 2022 5

Ebook Details

Author
Tomas Petricek, Jon Skeet, Yin Zhu
Publisher
Manning Publications 2010
Real World Functional Programming is a unique tutorial that explores the functional programming model through the F# and C# languages. The clearly presented ideas and examples teach readers how functional programming differs from other approaches.
Category Theory and Functional Programming by Mikael Vejdemo-Johansson
 
0.0 (0)
Ebooks May 16, 2022 3

Ebook Details

Author
Mikael Vejdemo-Johansson
Publisher
University of St. Andrews 2012
This text is intended to provide an introduction to Category Theory that ties into Haskell and functional programming as a source of examples and applications. Topics covered.
Purely Functional Data Structures by Chris Okasaki
 
0.0 (0)
Ebooks May 14, 2022 3

Ebook Details

Author
Chris Okasaki
Publisher
Carnegie Mellon University 1996
This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures.
11618
 
0.0 (0)
Ebooks April 25, 2022 6
Python is not a functional programming language, but it is a multi-paradigm language that makes functional programming easy to perform, and easy to mix with other programming styles.
12094
 
0.0 (0)
Ebooks April 25, 2022 9

Ebook Details

Author
Axel Rauschmayer
Publisher
ReasonML Hub 2018
This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming.
1144
 
0.0 (0)
Ebooks April 25, 2022 10
Erlang is a concurrent, functional programming language designed for programming large industrial real time systems. The language is untyped and has a pattern matching syntax.
1097
 
0.0 (0)
Ebooks April 23, 2022 8

Ebook Details

Author
Paul Hudak
Publisher
Yale University 1989
The foundations of functional programming languages are examined from both historical and technical perspectives. 
1096
 
0.0 (0)
Ebooks April 23, 2022 6

Ebook Details

Author
Robert Harper
Publisher
Carnegie Mellon University 2011
This book is an introduction to programming with the Standard ML programming language. 
11 results - showing 1 - 10
1 2
0
Shares