Søkt på: Bøker av Robert David Harper
totalt 8 treff
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 …
The Dangerous Case of Donald Trump
Medieval Ecclesiastical Studies in Honour of Dorothy M. Owen
Essays on English medieval ecclesiastical history, focusing particularly on administration. Dorothy Owen has made a major contribution over half a century to our knowledge of the …
Religious Belief and Ecclesiastical Careers in Late Medieval England
Papers reflecting current research on orthodox religious practice and ecclesiastical organisation from c.1350-c.1500. This book derives from a conference held in 1989. It reflects …
Edgar G. Ulmer
Edgar G. Ulmer: Detour on Poverty Row illuminates the work of this under-appreciated film auteur through 21 new essays penned by a range of scholars from around the globe. Ulmer, …
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 …
Late Ordovician Brachiopods from West-Central Alaska
A Late Ordovician silicified brachiopod fauna from the White Mountain area, west-central Alaska is described and interpreted in a palaeoecological and biogeographical context. This …
The Definition of Standard ML
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the …