Robert Harper is a professor in the computer science department at Carnegie Mellon University, Pennsylvania. His main research interest is in the application of type theory to the design and implementation of programming languages and to the mechanization of their meta-theory. Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence, and is an Association for Computing Machinery Fellow.
7 Ebooki wg Robert Harper
Robert (Carnegie Mellon University, Pennsylvania) Harper: Practical Foundations for Programming Languages
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 …
PDF
DRM
€69.90
Robert Harper: Types in Compilation
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 use, type systems …
PDF
Angielski
DRM
€57.82
Robert Harper: The Very Lazy Caterpillar
A beautifully illustrated children’s book about a caterpillar who asks friends for help on his journey to becoming a butterfly, this lovely short story is sure to engage any young child who will love …
EPUB
Angielski
DRM
€5.49
David Thrane Christiansen & Daniel P. Friedman: 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 a language, and are …
PDF
Angielski
DRM
€140.44
