A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
GradyBooch、JamesRumbaugh和IvarJacobson是UML的创始人,均为软件工程界的权威,除了著有多部软件工程方面的著作之外,在对象技
"DreamweaverCS4DigitalClassroom"islikehavingapersonalinstructorguidingreadersthr...
《中国城市文明史》内容简介:当今世界有超过一半的人口居住在城市里,城市为居民提供安全、便捷、舒适的生活环境,是每个国家的政
视频中人的动作分析与识别 本书特色 1.阐述动作分析基本概念和基础知识2.三维人体姿态估计、动作识别与定位经典方法3.多视角动作识别、跨视角动作识别、视角无关动...
《数据结构与算法JavaScript描述》内容简介:通过本书的学习,读者将能自如地选择最合适的数据结构与算法,并在JavaScript开发中懂
以用户为中心的时代,应用的界面外观变得越来越重要。然而,很多程序员都缺乏美术功底,要开发出界面美观的应用实属不易。ExtJS的
小米凭什么开创“小米模式”,火箭般一飞冲天?特斯拉凭什么接班苹果出任最新版“创新大神”,尽享万人追捧?余额宝凭什么一夜间
《HTML5+CSS3精致范例辞典(全彩印刷)》是专为希望成为网页设计师的学习者打造的工具书,书中详细说明了设计网页所需的HTML标记语
《三字经·百家姓·千字文》内容简介:《三字经》、《百家姓》和《千字文》三书是迄今为止完整留存下来的产生最早、使用最久、影响
《破茧成蝶》内容简介:市面上已经有很多专业的用户体验书籍,但解决用户体验设计师在职场中遇到的众多现实问题的图书并不多见。本
《XMPP高级编程:使用JavaScript和jQuery》内容简介:XMPP是一个广泛用于即时通信、多用户聊天、语言和视频会议、协作空间、实时游
《单片机基础及应用项目式教程》内容简介:本书以宏晶公司的STC89C52RC单片机为例,采用“项目和任务驱动”模式编写,将单片机基础
本书将带领读者从头开始制作一门语言的编译器。笔者特意为本书设计了CЬ语言,CЬ可以说是C语言的子集,实现了包括指针运算等在内
本书是C++程序员进阶修炼的必读之作,包含的全部都是C++编码的最佳实践,从语法、编码规范和编程习惯、程序架构和设计思想等三大
《现代纠错编码与调制理论及应用》系统地介绍了编解码理论的基本概念、基本方法和基本应用。《现代纠错编码与调制理论及应用》内
《Unity 5.X 3D游戏开发技术详解与典型案例》内容简介:本书对Unity3D集成开发环境界面、脚本的编写和众多高级特效的实现进行了详细
大型门户网站是这样炼成的!-Struts 2+Spring 2+Hibernate 3-含光盘1张 本书特色 构建大型门户网站,难!构建高性能的大型门户网站,更...
本书是英国剑桥大学卡文迪许实验室的著名学者DavidJ.C.MacKay博士总结多年教学经验和科研成果,于2003年推出的一部力作。本书作
SQL基础教程-第2版 本书特色 本书是畅销书《SQL基础教程》第2版,介绍了关系数据库以及用来操作关系数据库的SQL语言的使用方法。书中通过丰富的图示、大量示...
《实现技术创新的TRIZ诀窍:40个创新原理》是阿奇舒勒用来介绍如何使用40个创新原理解决技术矛盾的。本版保留了原著的核心部分和尤