剧情简介：This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages...(展开全部)
作者：Robert Harper
出版社：Cambridge University Press
ISBN：9781107150300
