Algebra of Programming, The Export

@book{citeulike:264046, abstract = {Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program construction that form the core of Algorithm Design. Discusses functions and categories; applications; relations and allegories; datatypes; recursive programs, optimization issues, thinning algorithms, dynamic programming and greedy algorithms. Appropriate for all programmers.}, author = {Bird, Richard and de Moor, Oege}, citeulike-article-id = {264046}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/013507245X}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/013507245X}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/013507245X}, citeulike-linkout-3 = {http://www.amazon.co.uk/exec/obidos/ASIN/013507245X/citeulike00-21}, citeulike-linkout-4 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/013507245X}, citeulike-linkout-5 = {http://www.worldcat.org/isbn/013507245X}, citeulike-linkout-6 = {http://books.google.com/books?vid=ISBN013507245X}, citeulike-linkout-7 = {http://www.amazon.com/gp/search?keywords=013507245X&index=books&linkCode=qs}, citeulike-linkout-8 = {http://www.librarything.com/isbn/013507245X}, howpublished = {Textbook Binding}, isbn = {013507245X}, keywords = {category-theory, functional-programming, haskell, program-transformation, types}, month = {September}, posted-at = {2005-09-13 08:28:15}, priority = {0}, publisher = {Prentice Hall PTR}, title = {Algebra of Programming, The}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/013507245X}, year = {1996} }

TY - BOOK ID - citeulike:264046 L3 - citeulike-article-id:264046 N2 - Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program construction that form the core of Algorithm Design. Discusses functions and categories; applications; relations and allegories; datatypes; recursive programs, optimization issues, thinning algorithms, dynamic programming and greedy algorithms. Appropriate for all programmers. SN - 013507245X TI - Algebra of Programming, The PB - Prentice Hall PTR KW - category-theory KW - functional-programming KW - haskell KW - program-transformation KW - types AU - Bird, Richard AU - de Moor, Oege PY - 1996/09/26/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/013507245X ER -