Søkt på: Bøker av Robert Harper
totalt 79 treff
A Guide to Rational Living
The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
How to Stop Destroying Your Relationships
Lost enough loves for three lifetimes? Want to break bad habits and replace them with good ones that last? Whether you are male or female, single or married, gay or straight, …
Knowing Him by Heart
An unprecedented collection of African American writings on Lincoln Though not blind to Abraham Lincoln's imperfections, Black Americans long ago laid a heartfelt claim to his …
The Dangerous Case of Donald Trump
Medieval East Anglia
Medieval East Anglia - one of the most significant and prosperous parts of England in the middle ages - examined through essays on its landscape, history, religion, literature, and …
Practical Foundations for Programming Languages
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their …
Anglo-Norman Studies XXII
No single recent enterprise has done more to enlarge and deepen our understanding of one of the most critical periods in English history. ANTIQUARIES JOURNAL Anglo-Norman Studies, …
Lincoln and the Press
This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the …
Assyrian and Babylonian Literature
Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with …
No One Will Believe You
Cassie Howell was just a normal girl worried about normal things - school, homework, dealing with her parents - until one day she picked up a stalker. But no, not a normal stalker, …