Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming
Author :
Publisher : Cambridge University Press
Total Pages : 0
Release :
ISBN-10 : 0521114292
ISBN-13 : 9780521114295
Rating : 4/5 (295 Downloads)

Book Synopsis Lambda-calculus, Combinators and Functional Programming by : G. E. Revesz

Download or read book Lambda-calculus, Combinators and Functional Programming written by G. E. Revesz and published by Cambridge University Press. This book was released on 2009-06-25 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.


Lambda-calculus, Combinators and Functional Programming Related Books

Lambda-calculus, Combinators and Functional Programming
Language: en
Pages: 0
Authors: G. E. Revesz
Categories: Computers
Type: BOOK - Published: 2009-06-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects
Lambda-Calculus and Combinators
Language: en
Pages: 358
Authors: J. Roger Hindley
Categories: Computers
Type: BOOK - Published: 2008-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.
An Introduction to Functional Programming Through Lambda Calculus
Language: en
Pages: 338
Authors: Greg Michaelson
Categories: Mathematics
Type: BOOK - Published: 2013-04-10 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a
Introduction to Combinators and (lambda) Calculus
Language: en
Pages: 376
Authors: J. R. Hindley
Categories: Mathematics
Type: BOOK - Published: 1986-05-29 - Publisher: CUP Archive

DOWNLOAD EBOOK

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operat
Lambda Calculus with Types
Language: en
Pages: 969
Authors: Henk Barendregt
Categories: Mathematics
Type: BOOK - Published: 2013-06-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The