Mathematics And Functional Programming

Discrete Mathematics and Functional Programming  eBooks & eLearning

Posted by roxul at Aug. 29, 2017
Discrete Mathematics and Functional Programming

Thomas VanDrunen, "Discrete Mathematics and Functional Programming"
English | ISBN: 1590282604 | 2013 | 689 pages | PDF | 44 MB

Lambda-calculus, Combinators and Functional Programming  eBooks & eLearning

Posted by Jeembo at June 18, 2018
Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
English | 1988 | ISBN: 0521345898 | 192 Pages | PDF | 13.2 MB

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory.
Type Theory and Functional Programming (International Computer Science Series) (Repost)

Type Theory and Functional Programming (International Computer Science Series) by Simon Thompson
English | 1991 | ISBN: 0201416670 | 388 Pages | PDF | 11 MB

This book explores the role of Martin-Lof s constructive type theory in computer programming.

Type Theory and Functional Programming  eBooks & eLearning

Posted by cifra7 at July 26, 2010
Type Theory and Functional Programming

Type Theory and Functional Programming
Publisher: Addison-Wesley | ISBN: 0201416670 | edition 1991 | PDF | 388 pages | 1,2 mb

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
P. -L Curien: Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Mathematics)
Birkhauser | 1993-01 | ISBN 3764336544 | PDF | Pages 403 | 2.11 MB
A Beginner's Guide to Scala, Object Orientation and Functional Programming, Second Edition (repost)

A Beginner's Guide to Scala, Object Orientation and Functional Programming, Second Edition By John Hunt
English | PDF/EPUB | 2018 | 530 Pages | ISBN : 3319757709 | 45.5 MB
A Beginner's Guide to Scala, Object Orientation and Functional Programming, Second Edition (repost)

A Beginner's Guide to Scala, Object Orientation and Functional Programming, Second Edition By John Hunt
English | PDF,EPUB | 2018 | 530 Pages | ISBN : 3319757709 | 45.5 MB

A Beginner's Guide to Scala, Object Orientation and Functional Programming  eBooks & eLearning

Posted by roxul at Nov. 11, 2014
A Beginner's Guide to Scala, Object Orientation and Functional Programming

John Hunt, "A Beginner's Guide to Scala, Object Orientation and Functional Programming"
English | ISBN: 3319067753 | 2014 | 514 pages | PDF | 34 MB

Scala Cookbook: Recipes for Object-Oriented and Functional Programming (repost)  eBooks & eLearning

Posted by interes at Aug. 3, 2014
Scala Cookbook: Recipes for Object-Oriented and Functional Programming (repost)

Scala Cookbook: Recipes for Object-Oriented and Functional Programming by Alvin Alexander
English | ISBN: 1449339611 | 2013 | 722 pages | PDF + EPUB | 11 + 2 MB

Save time and trouble when using Scala to build object-oriented, functional, and concurrent applications. With more than 250 ready-to-use recipes and 700 code examples, this comprehensive cookbook covers the most common problems you’ll encounter when using the Scala language, libraries, and tools.

Categorical Combinators, Sequential Algorithms, and Functional Programming [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Dec. 11, 2013
Categorical Combinators, Sequential Algorithms, and Functional Programming [Repost]

P.-L. Curien - Categorical Combinators, Sequential Algorithms, and Functional Programming
Published: 1993-01-01 | ISBN: 3764336544, 0817636544, 1461267048 | PDF | 404 pages | 11 MB