Listing 1 - 10 of 102 << page
of 11
>>
Sort by
Programs and machines: an introduction to the theory of computation
Author:
ISBN: 0471016500 Year: 1976 Publisher: London Wiley


Book
Pearls of functional algorithm design
Author:
ISBN: 9780521513388 9780511763199 9780511902024 0511902026 9780511798870 0511798873 0511763190 0521513383 1139234781 1107206049 128274920X 9786612749209 0511901232 0511797478 0511900449 Year: 2010 Publisher: Cambridge New York

Loading...
Export citation

Choose an application

Bookmark

Abstract

Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style.


Book
Rethinking Subnational Taxes : A New Look At Tax Assignment
Author:
ISBN: 1462316573 1452790558 1282107968 9786613801319 1451903251 Year: 1999 Publisher: Washington, D.C. : International Monetary Fund,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The assignment of revenues in most developing and transitional countries to the central government has arguably facilitated irresponsible behavior by some subnational governments. One way to relieve this problem is to strengthen subnational tax regimes. The paper proposes two approaches to accomplish such strengthening in developing countries. The first—most applicable to large countries with important regional governments—is to establish subnational value-added taxes (VATs); the second is to replace the various unsatisfactory state and local taxes imposed on business by a low-rate value-added tax levied on the basis of income (production, origin) rather than consumption (destination).


Book
Thinking functionally with Haskell
Author:
ISBN: 9781107087200 9781107452640 9781316092415 Year: 2015 Publisher: Cambridge Cambridge University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku and pretty-printing, and over 100 carefully selected exercises with solutions. This engaging text will be welcomed by students and teachers alike"--


Book
Intergovernmental fiscal relations in developing countries
Author:
Year: 1978 Publisher: Washington, D.C.

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Intergovernmental fiscal relations in developing countries
Author:
Year: 1978 Publisher: Washington (D.C.) World Bank

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
General index
Author:
Year: 1980 Publisher: New York Weatherill

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Thinking functionally with Haskell
Author:
ISBN: 1316191826 1316189988 1316092410 Year: 2015 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku and pretty-printing, and over 100 carefully selected exercises with solutions. This engaging text will be welcomed by students and teachers alike.


Book
Taxing agricultural land in developing countries
Author:
ISBN: 0674868552 Year: 1974 Publisher: Cambridge, Mass. Harvard University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 102 << page
of 11
>>
Sort by