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

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

Posted by AvaxGenius at March 4, 2017
A Beginner's Guide to Scala, Object Orientation and Functional Programming

A Beginner's Guide to Scala, Object Orientation and Functional Programming By John Hunt
English | EPUB | 2014 | 494 Pages | ISBN : 3319067753 | 10 MB

Scala is a new programming language developed by Martin Odersky and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming.
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.

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

Type Theory and Functional Programming (Repost)  eBooks & eLearning

Posted by step778 at Sept. 25, 2013
Type Theory and Functional Programming (Repost)

Simon Thompson, "Type Theory and Functional Programming"
1991 | pages: 378 | ISBN: 0201416670 | PDF | 11,2 mb

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

Posted by nebulae at Sept. 19, 2013
Scala Cookbook: Recipes for Object-Oriented and Functional Programming

Alvin Alexander, "Scala Cookbook: Recipes for Object-Oriented and Functional Programming"
English | ISBN: 1449339611 | 2013 | 722 pages | PDF, EPUB | 13 MB

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