Search Results

Lectures on Constructive Functional Programming

Download or Read eBook Lectures on Constructive Functional Programming PDF written by Richard Bird and published by . This book was released on 1988 with total page 67 pages. Available in PDF, EPUB and Kindle.
Lectures on Constructive Functional Programming
Author :
Publisher :
Total Pages : 67
Release :
ISBN-10 : 0902928511
ISBN-13 : 9780902928510
Rating : 4/5 (11 Downloads)

Book Synopsis Lectures on Constructive Functional Programming by : Richard Bird

Book excerpt:


Lectures on Constructive Functional Programming Related Books

Lectures on Constructive Functional Programming
Language: en
Pages: 67
Authors: Richard Bird
Categories: Calculus
Type: BOOK - Published: 1988 - Publisher:

DOWNLOAD EBOOK

Constructive Methods in Computing Science
Language: en
Pages: 474
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evalua
Central European Functional Programming School
Language: en
Pages: 264
Authors: Zoltán Horváth
Categories: Computers
Type: BOOK - Published: 2006-10-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Progr
Advanced Functional Programming
Language: en
Pages: 362
Authors: Varmo Vene
Categories: Computers
Type: BOOK - Published: 2005-09-27 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the revised lecture notes corresponding to nine of the lecture courses presented at the 5th International School on Advanced Functional Pro
Central European Functional Programming School
Language: en
Pages: 309
Authors: Zoltán Horváth
Categories: Computers
Type: BOOK - Published: 2008-09-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents eight carefully revised texts from selected lectures given by leading researchers at the Second Central European Functional Programming Sch
Scroll to top