Practical Foundations for Programming Languages(英文版)

作者：RobertHarperCarnegieMellonUniversityThisisaworkingdraftofabookonthefoundationsofprogramminglanguages.Thecentralorganizingprincipleofthebookisthatprogramminglanguagefeaturesmaybeseenasmanifestationsofanunderlyingtypestructurethatgovernsitssyntaxandsemantics.Theemphasis,therefore,i