/ 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.) 本软件ID:6347423
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.) 本软件ID:6347423
文件下载
资源详情
-C/C++
评论信息
-
-
-
xarpuia:上课的教材，个人感觉很抽象2017-09-26 -
googya:学习类型系统必备之书籍，已有纸质版了2017-04-20
-
轩辕奇侠:内容很好，很有帮助，谢谢！2017-03-03
-
jinguobingjiang:非常好的书2015-06-01
-
bf060505:很经典的书，不过好抽象2015-03-10
其他资源
- MD5Util.java
- QQ协议源码，亲测可用
- 商城系统，支持H5公众号微信小程序领取宝小程序
- PcbLib1.PcbLib
- C#开发的通用升级更新程序
- 数字图像处理(第三版)(何东健)图片
- java人脸识别培训视频完整版，用于就业培训的视频，由于文件过大，用百度网盘保存，让你快速学习java人脸识别
- 关于GPS的matlab程序
- 密码学重合指数计算python实现
- Android代码-仓库管理系统源码.zip
- hadoop2.7.1+hbase2.1.4+zookeeper3.6.2.rar
- Java仿QQ2.0版
- 国科大软件工程期末考试题库+答案
- android.jar源码安卓10(api29)
- Android群英传—完整高清PDF
- 使用C++开发的双人五子棋游戏(附源代码)
- qt在window完成调取摄像头识别二维码条形码不会保存图片到本机多个摄像头可切换无摄像头不崩溃会提示
- 【免费】很小的UML画类图工具很好用
- 2019美赛原题和翻译
- GUNC库手册
免责申明
【好快吧下载】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【好快吧下载】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【好快吧下载】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明