ConceptsinProgrammingLanguagesbyJohnMitchell.一本国外经典教材，看了之后对编程语言更加理解。费了很多劲才找到的。