Robert Harper《Practical Foundations for Programming Languages》

Robert Harper《Practical Foundations for Programming Languages》

作者:Robert Harper

出版社:Cambridge University Press

出版年:2012-11

评分:0.0

ISBN:9781107029576

所属分类:网络科技

书刊介绍

内容简介

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 theory that is both accessible and practical.

相关推荐

微信二维码