/ BenjaminCPierceTypesandProgrammingLanguages
BenjaminCPierceTypesandProgrammingLanguages
BenjaminCPierceTypesandProgrammingLanguages
Atypesystemisasyntacticmethodforenforcinglevelsofabstractioninprograms.Thestudyoftypesystems--andofprogramminglanguagesfromatype-theoreticperspective--hasimportantapplicationsinsoftwareengineering,languagedesign,high-performancecompilers,andsecurity.Thistextprovidesacomprehensiveintroductionbothtotypesystemsincomputerscienceandtothebasictheoryofprogramminglanguages.Theapproachispragmaticandoperational;eachnewconceptismotivatedbyprogrammingexamplesandthemoretheoreticalsectionsaredrivenbytheneedsofimplementations.Eachchapterisaccompaniedbynumerousexercisesandsolutions,aswellasarunningimplementation.Dependenciesbetweenchaptersareexplicitlyidentified,allowingreaderstochooseavarietyofpathsthroughthematerial.Thecoretopicsincludetheuntypedlambda-calculus,simpletypesystems,typereconstruction,universalandexistentialpolymorphism,subtyping,boundedquantification,recursivetypes,kinds,andtypeoperators.Extendedcasestudiesdevelopavarietyofapproachestomodelingthefeaturesofobject-orientedlanguages.(Thefulltableofcontentsisavailablehere.)
Atypesystemisasyntacticmethodforenforcinglevelsofabstractioninprograms.Thestudyoftypesystems--andofprogramminglanguagesfromatype-theoreticperspective--hasimportantapplicationsinsoftwareengineering,languagedesign,high-performancecompilers,andsecurity.Thistextprovidesacomprehensiveintroductionbothtotypesystemsincomputerscienceandtothebasictheoryofprogramminglanguages.Theapproachispragmaticandoperational;eachnewconceptismotivatedbyprogrammingexamplesandthemoretheoreticalsectionsaredrivenbytheneedsofimplementations.Eachchapterisaccompaniedbynumerousexercisesandsolutions,aswellasarunningimplementation.Dependenciesbetweenchaptersareexplicitlyidentified,allowingreaderstochooseavarietyofpathsthroughthematerial.Thecoretopicsincludetheuntypedlambda-calculus,simpletypesystems,typereconstruction,universalandexistentialpolymorphism,subtyping,boundedquantification,recursivetypes,kinds,andtypeoperators.Extendedcasestudiesdevelopavarietyofapproachestomodelingthefeaturesofobject-orientedlanguages.(Thefulltableofcontentsisavailablehere.)
文件下载
资源详情
-C/C++
评论信息
-
-
-
xarpuia:上课的教材，个人感觉很抽象2017-09-26 -
googya:学习类型系统必备之书籍，已有纸质版了2017-04-20
-
轩辕奇侠:内容很好，很有帮助，谢谢！2017-03-03
-
jinguobingjiang:非常好的书2015-06-01
-
bf060505:很经典的书，不过好抽象2015-03-10
其他资源
- 北航数值分析上机作业第二题纯原创
- 学生信息管理系统C语言版本
- 导线网直接平差
- 八卦阵proteus+keilC51工程.zip
- C++商品管理系统50页报告+源码。代码详细并且功能完善。
- 模式识别实验贝叶斯分类器
- C#火车订票系统
- c语言课程设计学生学籍管理系统
- 李春葆：数据结构习题与解析(C语言版)
- WFQ算法实现c/c++
- windows编程入门（C语言）
- opengl一个有光照效果带纹理会旋转的立体茶壶
- C++知识体系图解（超详细）
- C/C++:一元多项式的表示及其运算.rar(含注释)
- 心电信号预处理（去噪）
- C语言法度圭表标准扑克发牌
- 操作系统课设__多道批处理系统两级调度的模仿_
- 高功能计算之并行编程技术-MPI并行程序设计(完整版)
- 棋盘格标定图
- QT、C++米其林自助点餐零碎
免责申明
【好快吧下载】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【好快吧下载】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【好快吧下载】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明