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

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)

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]

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)  

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

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  

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
Programming Scala: Scalability = Functional Programming + Objects (Animal Guide) by Alex Payne

Programming Scala: Scalability = Functional Programming + Objects (Animal Guide) by Alex Payne
English | September 22, 2009 | ISBN: 0596155956 | 448 pages | PDF | 3 MB

Learn how to be more productive with Scala, a new multi-paradigm language for the Java Virtual Machine (JVM) that integrates features of both object-oriented and functional programming. With this book, you'll discover why Scala is ideal for highly scalable, component-based applications that support concurrency and distribution.
An Introduction to Functional Programming Through Lambda Calculus

An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson
English | 2011 | ISBN: 0486478831 | ISBN-13: 9780486478838 | 336 pages | EPUB | 14 MB

This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition.