Darby Carter loves horses, even though she's never actually ridden one. Darby's grandfather is an expert rider—in fact, he owns a horse ranch in Hawaii. So when he agrees to take her in—along with the beautiful mustang Darby saved on the range in Nevada—she knows she can't refuse, even if she is a little terrified!
But Darby's filly arrives in bad shape, and Darby's grandfather wonders if the wild horse will ever trust a human again. Can Darby take the reins and save her horse—or has she lost the mustang forever?

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)

Children's Books

Asperti, Andrea

Guerrini, Stefano

Animals

Cambridge University Press

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programmes using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. "Categories, Types and structures" provides a self-contained introduction to general category theory and explains the mathematical structures that have been the foundation of language design for the past two decades. The authors observe that the language of categories could provide a powerful means of standardizing of methods and language, and offer examples ranging from the early dialects of LISP, to Edinburgh ML, to work in polymorphisms and modularity. The book familiarizes readers with categorical concepts through examples based on elementary mathematical notions such as monoids, groups and toplogical spaces, as well as elementary notions from programming-language semantics such as partial orders and categories of domains in denotational semantics. It then pursues the more complex mathematical semantics of data types and programs as objects and morphisms of categories.

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)

Computers & Technology

Longo, Giuseppe

Computer Science

Mit Pr

All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This work, the first on the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent "Geometry of Interaction" are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.

Programming

See the best price to sell, buy, or rent books by Asperti, Andrea. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Asperti, Andrea