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 电子书 Robert Harper
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 fo …
PDF
英语
DRM
€57.96
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
英语
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
英语
DRM
€141.55