Mathematics And 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

Introduction to Functional Programming  eBooks & eLearning

Posted by lout at June 8, 2011
Introduction to Functional Programming

Introduction to Functional Programming By Richard Bird, Philip Wadler
Publisher: Pre,nt,ic,e Hal,l 1988 | 310 Pages | ISBN: 0134841891 | DJVU | 2 MB

JavaScript: Functional Programming for JavaScript Developers  eBooks & eLearning

Posted by Grev27 at Oct. 7, 2016
JavaScript: Functional Programming for JavaScript Developers

Ved Antani, Simon Timms, Dan Mantyla, "JavaScript: Functional Programming for JavaScript Developers"
English | eISBN: 1787125572, ASIN: B01LD8K5DY | 2016 | PDF/EPUB/MOBI | 849 pages | 5 MB/6 MB/11 MB