An Introduction to Functional Programming Through Lambda Calculus
Author:   Greg Michaelson
Publisher:   Dover Publications Inc.
ISBN:  

9780486478838


Pages:   336
Publication Date:   26 August 2011
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $85.00 Quantity:  
Add to Cart

Share |

An Introduction to Functional Programming Through Lambda Calculus


Add your own review!

Overview

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. 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, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.

Full Product Details

Author:   Greg Michaelson
Publisher:   Dover Publications Inc.
Imprint:   Dover Publications Inc.
Dimensions:   Width: 15.80cm , Height: 1.70cm , Length: 23.40cm
Weight:   0.505kg
ISBN:  

9780486478838


ISBN 10:   0486478831
Pages:   336
Publication Date:   26 August 2011
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Preface 1. Introduction 2. Lambda Calculus 3. Conditions, booleans, and numbers 4. Recursion and arithmetic 5. Types 6. Lists and Strings 7. Composite values and trees 8. Evaluation 9. Functional programming in Standard ML 10. Functional programming and LISP Answers to exercises Bibliography Index

Reviews

Author Information

Gregory Michaelson is a Professor of Computer Science and Mathematics at Heriot-Watt University in Edinburgh, Scotland.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now