Sökt på: Böcker av Robert Harper

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 …

Though not blind to Abraham Lincoln's imperfections, Black Americans long ago laid a heartfelt claim to his legacy. At the same time, they have consciously reshaped the sixteenth …

This anthology brings more than fifty years of scholarship of the culture and sociology of work into a compelling introductory and analytical text. Sociologists have long sought to …

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, …

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 …

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 …

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, …

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their …

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to …