A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introd...

Exploring Culture brings Geert Hofstede's five dimensions of national culture to life. Suitable for students, trainers, coaches and educators, it can be used for individual study or as a set text, and serves as an excellent partner to Geert Hofstede's popular Cultures and Organizations.

This is the definitive survey of the English language - in all its forms. Crystal writes accessibly about the structure of the language, the uses of English throughout the world and finally he gives a brief history of English. The book has been fully revised and there is a fascinating new chapter on 'The effect of technology' on the English language.

'Illuminating guided tour of our common treasure by one of its most lucid and sensible professionals' The Times 'A splendid blend of erudition a...

Since its founding in 1964, the United Republic of Tanzania has used music, dance, and other cultural productions as ways of imagining and legitimizing the new nation. Focusing on the politics surrounding Swahili musical performance, Kelly Askew demonstrates the crucial role of popular culture in Tanzania's colonial and postcolonial history. As Askew shows, the genres of ngoma (traditional dance), dansi (urban jazz), and taarab (sung Swahili poetry) have played prominent parts in official art...

This highly original and sophisticated look at architecture helps us to understand the cultural significance of the buildings that surround us. It avoids the traditional style-spotting approach in favour of giving an idea of what it is about buildings that moves us, and what it is that makes them important artistically and culturally. The book begins by looking at how architecture acquires meaning through tradition, and concludes with the exoticism of the recentavant garde.

Illustrations of p...

A selection of source readings on history, society, politics, education, philosophy, and religion in the Land of the Rising Sun. This work includes: readings on early and medieval Shinto and on the tea ceremony, readings on state Buddhism and Chinese political thought influential in Japan, and sections on women's education.

Looks in detail at the theory of words and at how students learn new vocabulary Offers practical advice on how to help students build vocabulary in new and effective ways and how to test students’ word knowledge Major developments, such as language corpora and lexical approaches, are clearly explained and related to your needs as a teacher The Task File develops a teacher's skill in identifying parts of speech including lexical fields, word families, etc. to build more confidence in ...

In addition to its thorough coverage of DSP design and programming techniques, Smith also covers the operation and usage of DSP chips. He uses Analog Devices' popular DSP chip family as design examples.

Quite simply, test-driven development is meant to eliminate fear in application development. While some fear is healthy (often viewed as a conscience that tells programmers to be careful! ), the author believes that byproducts of fear include tentative, grumpy, and uncommunicative programmers who are unable to absorb constructive criticism. When programming teams buy into TDD, they immediately see positive results. They eliminate the fear involved in their jobs, and are better equipped to tac...

Features a poem in five books, of circular narrative design, titled with the Greek name for Homer, this book charts two currents of history: the visible history charted in events - the tribal losses of the American Indian, the tragedy of African enslavement - and unwritten epic fashioned from the suffering of the individual in exile.