Practical.Foundations.for.Programming.Languages.2nd
Thistextdevelopsacomprehensivetheoryofprogramminglanguagesbasedontypesystemsandstructuraloperationalsemantics.Languageconceptsarepreciselydefinedbytheirstaticanddynamicsemantics,presentingtheessentialtoolsbothintuitivelyandrigorouslywhilerelyingononlyelementarymathematics.Thesetoolsareuse
下载地址
用户评论
感谢分享~，好书