Overview: Presents the mathematics view, tools, and logic foundations of computer programming.Introduces recursion, abstract algebra, and category theory through Haskell programming language.Provides mathematic.The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as recursion, computation model, types, data, and etc. The book serves as an introductory and reference guide to the engineers, students, researchers, and professionals who are interested in functional programming, type system, and computer progr
|