The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.
Clojure是一种基于Java虚拟机的动态编程语言。如果你要转移到函数式编程,或是要应对来自并发的挑战,那么,Clojure是你的首选语
《夏七酱的水彩小世界》内容简介:水彩画是用水调和透明颜料作画的一种绘画方法,简称水彩。水彩画是一种很有趣的作画方式,难点在
将人类过去上百个世纪的所有进步都描绘在一张图表里,只会得出一条近乎完美的平坦直线。直到18世纪工业革命的出现,才使得这条平
《深入理解OpenCV(原书第3版)》内容简介:本书(现在是第3版)是计算机视觉工程师使用OpenCV作为工具的系列丛书之一。本书保留了
StephenWalther蜚声世界的ASP.NET专家,现为微软公司ASP.NET小组资深程序经理。多次荣获微软最有价值专家(MVP)称号,并荣获微软
《长问西东》内容简介:本书为刘东先生对中西文化进行长期比较思考的结晶。书名“长问西东”从清华校歌“无问西东”中来。作者深入
《金砖国家金融合作研究》内容简介:进入21世纪,西方国家经济发展持续疲弱,金砖国家逆势而起。金砖国家不仅是五个具有多样性和互
计算机审计情景案例 内容简介 计算机审计在我国正处于探索和发展的过程中,审计实践中会遇到各种各样的问题。本书选编了50个计算机审计的典型案例。从数据审计到信息系...
《道德经验批判》内容简介:本书深入分析和确定了道德意识发生的普遍条件,把善、道德情感与真理认识密切联系起来,把善定义为内在
《区块链安全实战》内容简介:本书从当今社会的网络安全威胁谈起,深入浅出地剖析了区块链的底层及应用架构,并辅以众多优秀的区块
《现代纠错编码与调制理论及应用》系统地介绍了编解码理论的基本概念、基本方法和基本应用。《现代纠错编码与调制理论及应用》内
《人人都是网站分析师》内容简介:这是一本真正能让网站分析的数据结果产生商业价值的著作。很多人都知道网站分析中的指标,但很少
《系统集成项目管理工程师历年真题解析》内容简介:系统集成项目管理工程师考试,是全国计算机技术与软件专业技术资格考试(简称软
《全国通信专业技术人员职业水平考试参考用书:通信专业实务(初级)》按照人事部、信息产业部全国通信专业技术人员职业水平考试大纲
TCP/IP详解卷2实现 内容简介 本书完整而详细地介绍了TCP/IP协议是如何实现的。书中给出了约500个图例,15000行实际操作的C代码,采用举例教学的方...
本书面向所有对机器学习与数据挖掘的实践及竞赛感兴趣的读者,从零开始,以Python编程语言为基础,在不涉及大量数学模型与复杂编
《你不知道的JavaScript(下卷)》内容简介:JavaScript这门语言简单易用,很容易上手,但其语言机制复杂微妙,即使是经验丰富的Ja
《WCDMA关键技术详解》全面、深入地介绍了WCDMA系统核心技术的各个方面。《WCDMA关键技术详解》所涉及的技术细节分析包括:系统结
《追风骑兵》内容简介:1942年,日军集结五万大军,重重包围了八路军太行山根据地。日军特战部队伪装成八路军新六旅,兵分两路,一
本书是一本引导读者深入了解Docker实现原理的技术普及读物,主要目标是通过对Docker架构和源代码的详细讲解和解剖,帮助读者对Do