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.
《CSS三剑客之务实之剑:CSSCookbook》(中文版)(第2版)全书共12章,前十章探讨排版、图片、页面元素、列表、链接、表单、表格及打
中文版Dreamweaver+Flash+Photoshop网页制作从入门到精通-CS5版-随书附赠光盘 本书特色 16大核心技术精解本书体系结构完整,由浅入深...
《门岭怪谈》内容简介:深夜两点整,暴雨不期而至,一行人在高速公路上迷失方向,偶然走进一间荒村旅店。命运的巨眼在黑雾中缓缓睁
工业机器人与自控系统的集成应用 本书特色 本书从实用的角度出发,对工业机器人与PLC 控制系统的综合应用、触摸屏与机器人的联合应用、机器人与视觉系统的综合应用,...
情感计算与情感机器人系统 本书特色 《情感计算与情感机器人系统》在介绍情感计算、情感建模以及人机情感交互概念的基础上,分析了当前人机情感交互的研究前沿,总结了在...
两个充满职业信仰的设计界八零后,对话新经济学的启蒙者。一场新经济学与视觉设计思想之间,关于信仰的跨界碰撞。本书以对谈形式
Adobe Illustrator CS5中文版经典教程 本书特色 adobe公司推出的权威经典教程畅销全球17年的著名品牌图书在全世界以27种语言火爆发行Ad...
《产业数字化》内容简介:疫情凸显出数字经济的韧性和优势,也反映出产业数字化的必要性和紧迫性。伴随中国经济发展双循环战略的明
《零基础学速写》内容简介:本书共5章。1章为基础知识介绍,其中包括与速写相关的知识,以及速写工具;2章到5章,从基础到复杂,分
Learnhowtocreateresponsive,data-drivenwebsiteswithPHP,MySQL,andJavaScript-whethe...
JoshuaJ.Drake是国际知名黑客,AccuvantLABS公司研究部门总监,曾在世界著名黑客大赛Pwn2Own上攻陷IE浏览器中的Java插件,曾发现
http://www.amazon.com/exec/obidos/tg/detail/-/1590598164/BookDescriptionPractica...
从0到1 HTML+CSS快速上手(微视频版) 本书特色 作者根据自己多年的网站开发及教学经验,站在零基础读者的角度,详细介绍了HTML和CSS的基础知识,以及...
本书主要包括两方面内容,首先是对工业设计发展的简要历史的回顾,从中读者可以理解工业国家的技术发展过程的经验和教训。然后探
MassiveChangeisamodernillustratedprimeronthenewinventions,technologies,andevents...
古埃及的莲花式柱头,中世纪的火焰式彩窗,玛丽―安托瓦内特的金色书房,拿破仑皇后的穿衣镜……几千年来审美潮流的变迁,正是通
基于GIS的电网生产管理系统建设与应用 本书特色 本书内容包括电力地理信息系统概论、电力gis及其软件平台选择、电力gis的总体框架、基于gis的电网一体化生产...
《全国通信专业技术人员职业水平考试参考用书:通信专业实务(初级)》按照人事部、信息产业部全国通信专业技术人员职业水平考试大纲
本书为美国业余无线电转播联盟(ARRL)出版、里奇·阿兰德(K7SZ)编写的LowPowerCommunication第3版中的中文译本。QRP在Q简语里意为
《诗唱大唐》内容简介:大唐的皇帝写过那些诗? 他们又点赞过那些诗? 状元们的诗写得怎样? 唐诗四万多首,有那些著名的“恶诗”?