practical foundations for programming languages

Types serve as the central organizational principle in the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the foundational aspects of these languages by employing type theory. [Read More]