剧情简介：Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the compli...(展开全部)
作者：J·Roger Hindley
出版社：Cambridge University Press
ISBN：9780521054225
