剧情简介：In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming the...(展开全部)
作者：Robert Harper
出版社：Cambridge University Press
ISBN：9781107029576
