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.
《金融市场交易策略:嵌套理论》内容简介:本书所介绍的嵌套理论适用于股票、期货等多个金融交易领域。全书分为理论篇、技术篇、系
本书由国际知名网络安全专家亲笔撰写,全面讲解如何预防常见的网络攻击,包括HTML注入及跨站脚本攻击、跨站请求伪造攻击、SQL注入
妙笔生花Photoshop CS4完全精通-(附赠光盘) 本书特色 本书采用“基本操作知识+实践应用案例”的教学方式,以通俗易懂的语言、精挑细选的实用技巧以及翔...
《HTML 5开发精要与实例详解》内容简介:这是一本以综合性案例为导向并辅之以精要知识点讲解的HTML 5实战教程。内容分为两大部分:
《向内求:认识自己的成长法则》内容简介:许多企业管理者、职业经理人在日常的管理工作中,除了要不断磨练自己的业务能力,还需要
《从心理问题到心理优势》内容简介:这是一个重度抑郁症患者执着探寻心灵光源的生命足迹。这本书不同于那些年我们食过的心灵鸡汤,
《中国古典舞术语词典》内容简介:《中国古典舞术语词典》为“舞蹈普及教育丛书”系列之一,其内容有71个歌舞组合,涵盖了民间舞、
李蕙蓁│研究所專研生態與觀光遊憩,喜愛藝術、設計、攝影,曾在望安與海龜結下不解之緣,擁有豐富的「龜」收藏。曾任報紙、雜誌
《写给大忙人看的JavaSE8》向Java开发人员言简意赅地介绍了Java8的许多新特性(以及Java7中许多未被关注的特性),《写给大忙人看
本书在前五版的基础上改编而成,系统地介绍了现他通信系统的基本理论和阳新发展技术。全书共分八章:内容包括:绪论;信号与频谱
《电子商务创世纪:1999-2012中国互联网最激动人心的一段历史》以编年体形式,浓墨重彩地逐年再现了由萌芽至今的中国电子商务的行
可视化程序设计与C#.NET语言 本书特色 visual c#.net是面向对象的可视化程序设计语言,具有简洁、高效 、安全、性能优良等特点,是面向对象程序设计...
本集基本上以时序发展为排列次序,主要反映从1919—1949年三十年间书籍装帧的发展脉络。我没有资格研究美术或书籍装帧艺术史,至
本书系统而深入地介绍了现代数字信号处理的基础和一些广泛应用的算法。全书共10章,分为四个部分。第一部分包括第1章~第4章,介
《全能网页设计师精炼手册》内容简介:本书通过对网页设计的核心基础进行讲解,使读者全面了解和掌握作为一个网页设计师应掌握的排
SOLIDWORKS零件与装配体教程-2016版 本书特色 《solidworks零件与装配体教程》(2016版)是根据ds solidworks公司发布的...
《Facebook之父马克•扎克伯格:后乔布斯时代的传奇》内容简介:Facebook是什么?这个问题恐怕连Facebook的创建者马克·扎克伯格(M
中文版PremierePro CS6完全自学教程 本书特色 这是一本精心设计的Premiere学习教程,图书结合平常学习、工作的需求,精心挑选案例,结合应用,力...
《危机时刻:德国保守主义革命》内容简介:本辑为读者呈现的是1933年纳粹政权前后,德国思想界影响深远的思潮:保守主义革命。这股
[内容简介] 洞察社交网络必读之作,本书深度剖析社交网络引发的三大现象,全面解读社交网络给我们生活、工作和世界带来的伟大变