R. Harper, Poetry. A collection of eight chapbook titles between two flaps, hundreds of poems. Contains all eight chapbooks and collections released by Hattree Books in one volume: Tender Shoots and Pointed Sticks, Poems for the Ascent, Feeding Someone Else's Cat, Unsung Lyrics, Poems for the Confused, Harpies, Mojave Valley Poems, and Dead Mountains.

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fun...

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is go...

Danny's life was going well.He had a steady job and plans to buy his own place. That was until some rogue junk mail decided he needed a change of scenery.Now Danny's got a new start in another world, and he needs to make sure he doesn't squander this opportunity at making the most of this new life.

Danny died a less than heroic death on Earth, was reincarnated in a new world, gained access to a mental sanctuary that ranks his skills, learned he can do magic, discovered that he can't fly, tricked rich old ladies into buying handbags, crafted himself a crude anti-magic girdle, went to magic school, grew a couple of apple trees, was drafted into a secret paramilitary organization, tamed a pet most people would rather never meet, regrew an elf's ears, gained a split concentration...

Danny is finally headed back home to Diadem to see his family and settle some old wrongs.The men of Diadem have been sacrificing their own potentials for the sake of the country for long enough, and Danny has the perfect solution.

“Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, while other engineers routinely deliver finished bridges, automobiles, electrical appliances, e...

Despite growing interest, basic information on methods and models for mathematically analyzing algorithms has rarely been directly accessible to practitioners, researchers, or students. An Introduction to the Analysis of Algorithms, Second Edition, organizes and presents that knowledge, fully introducing primary techniques and results in the field.Robert Sedgewick and the late Philippe Flajolet have drawn from both classical mathematics and computer scienc...

Information Modeling and Relational Databases, Second Edition, provides an introduction to ORM (Object-Role Modeling)and much more. In fact, it is the only book to go beyond introductory coverage and provide all of the in-depth instruction you need to transform knowledge from domain experts into a sound database design. This book is intended for anyone with a stake in the accuracy and efficacy of databases: systems analysts, information modelers, database designers and administrators, and ...

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning whi...

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting ...

This textbook is intended for an introductory course on Compiler Design, suitable for use in an undergraduate programme in computer science or related fields.Introduction to Compiler Design presents techniques for making realistic, though non-optimizing compilers for simple programming languages using methods that are close to those used in "real" compilers, albeit slightly simplified in places for presentation purposes. All phases required for translating a high-level lan...