Introduction to Functional Programming Through Lambda Calculus

Häftad, Engelska, 2011

Del i serien Dover Books on Mathema 1.4tics

294 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2011-08-26
Mått:167 x 235 x 17 mm
Vikt:463 g
Format:Häftad
Språk:Engelska
Serie:Dover Books on Mathema 1.4tics
Antal sidor:336
Förlag:Dover Publications Inc.
ISBN:9780486478838

Utforska kategorier

Programmeringsböcker inom Data och IT
Programspråk inom Data och IT

Mer om författaren

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

Innehållsförteckning

Preface1. Introduction2. Lambda Calculus3. Conditions, booleans, and numbers4. Recursion and arithmetic5. Types6. Lists and Strings7. Composite values and trees8. Evaluation9. Functional programming in Standard ML10. Functional programming and LISPAnswers to exercisesBibliographyIndex