Richard Bird

Oege De Moor

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.

内容詳細

Algebra of Programming (Prentice-Hall International Series in Computer Science)

Jeremy Gibbons

In this textbook, leading researchers give tutorial expositions on the current state of the art of functional programming. The text is suitable for an undergraduate course immediately following an introduction to functional programming, and also for self-study. All new concepts are illustrated by plentiful examples, as well as exercises. A website gives access to accompanying software.

著者：Oege De Moorの検索結果

Algebra of Programming (Prentice-Hall International Series in Computer Science)

The Fun of Programming (Cornerstones of Computing)