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.
《谁是下一百个亿万富翁》内容简介:这是一个最好的时代,无数有梦想的创业者将在这场已经爆发的移动互联网革命中缔造新的创富神话
《计算广告(第2版)》内容简介:计算广告是一项新兴的研究课题,它涉及大规模搜索和文本分析、信息获取、统计模型、机器学习、分类
《智能教育:让孩子站在人工智能的肩膀上适应未来》内容简介:人工智能等新技术正在悄然改变着教育行业的方方面面,如何应对人工智
《深入浅出HTML5编程(影印版)(英文)》就是你的特快车票,它可以带你学习如何使用今天的标准同时也会是明日的最佳实践来搭建Web应
《云游戏》内容简介:本书从游戏产业发展的历程、规律和现状开始讲起,以时间为轴,快速介绍了整个游戏产业的发展脉络,让读者清晰
《倪徽奥传》内容简介:倪徽奥,他的一生堪称传奇,东京大审判,他以凛然正气,将侵华日军战犯绳之以法,作为新中国第一位国际法院
《U形曲线:高质量发展的底层逻辑》内容简介:本书提出了何为最优产品、最优服务、最优企业的问题,运用大量的案例系统介绍如何提高
《别让口才毁了你》内容简介:本书大致讲述口才是一门天入地的大学问,足以立身,足以成事。但也不必走向另一个极端,把口才能力看
《字不语》内容简介:《字不语:手写字体设计与应用方法解析》是一本关于手写体字形设计的书。《字不语:手写字体设计与应用方法解
《荀玉根讲策略:少即是多》内容简介:海通证券首席经济学家兼首席策略分析师荀玉根博士拥有14年宏观策略研究经验,是新财富、水晶
中文版PHOTOSHOP CC艺术设计精粹案例教程 本书特色 精选实用案例剖析 分步教学 彩图演示 视频讲解,帮你彻底掌握PS平面设计精髓,轻松完成作品设计!6...
《零基础学PHP(第3版)》内容简介:《零基础学·PHP第3版》是一种运行于服务器端并完全跨平台的嵌入式脚本编程语言,是目前开发各
新手学Word/Excel/PowerPoint办公应用-超值畅销版-(附赠DVD光盘1张) 本书特色 由博智书苑编的《新手学Word\Excel\PowerP...
瑞萨M16C/62P单片机原理和应用 内容简介 本书介绍瑞萨科技股份公司*近推出的16位M16C/62P单片机的工作原理、性能特点及使用方法。M16C/62P单...
这是一本为网页设计师量身定制的配色方案专业书籍。全书共分七个部分,分别结合丰富的实例讲述了配色基础知识、色相和色调(Hue&
本书对UNIX操作系统的编程环境做了详细而深入的讨论,内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等,并对UNIX
《PHP安全之道》内容简介:本书主要面向PHP研发人员,详细讲解PHP项目漏洞的产生原理及防范措施,帮助研发人员在项目研发过程中规避
Whatcancomputersdoinprinciple?Whataretheirinherenttheoreticallimitations?Thesear...
《苹果的味道:iPad商务应用每一天》是一本介绍iPad商务应用的书。编者从AppStore丰富的应用程序库中选取了MobileRSS、PocketInfo
《且介亭杂文》内容简介:本书是鲁迅1934年所作杂文三十六篇,1935年末经作者亲自编定,1937年7月由上海三闲书屋初版。包括《拿来主