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