Practical foundations for programming languages by Robert Harper (2018)

 Posted on January 15, 2024  |  1 minutes  |  141 words  |  sysop

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]
practical foundations for programming languages  robert harper  formal languges  theory of compilation  compilers  pdf  download  computer science