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.
《像我这样的一个读者》内容简介:独一无二的经典文学作品阅读指南,世界华文文学奖得主西西的私人书单。打开这本无限之书,你可以
《论语新解》内容简介:《论语》为儒家经典著作,自西汉以来,为中国识字人一部人人必读之书。历代对《论语》解读注释之书,浩如烟
《图解博弈心理学·微表情心理学》内容简介:本书主要针对各行各业的精英人士以及想学习微表情心理学知识的人员而编写。全书以分析
《工业X.0》内容简介:数字化的巨轮早已扬帆远航,任何持怀疑态度的人都无力阻止,无论是民众还是商业领袖。工业企业整体构成了全球
本书出自第一线JAVA编程专家之手,为读者展现正确、高效、强固之JAVA代码实践方案。这本取材广泛的掼,以不同层级的专家经验,帮
《交易员的自我修养:中国顶级交易员访谈实录(陈侃迪)》内容简介:本书是“中国顶级交易员访谈丛书”之一,丛书致力于通过十数年
《正面管教》内容简介:不当的管教方式会影响孩子的一生,而有效的管教方式会有益孩子的一生。本书改变了传统的说教、批评、打骂、
本书以Spring应用程序开发为中心,全面讲解如何运用SpringBoot提高效率,使应用程序的开发和管理更加轻松有趣。作者行文亲切流畅
《华侨中医药防控新冠肺炎手册》内容简介:鉴于新冠肺炎疫情在全球蔓延,丽水有40余万华侨旅居世界100多个国家和地区,本书旨在为广
ErnestW.Adams是一名美国游戏设计顾问,现定居于英国。除顾问工作外,他还开办游戏设计研讨班,并在各种会议和大学中发表演讲,广
作者结合丰富的设计案例,全面讲解了现代书籍设计的基本要素和流程,介绍了将书稿信息进行逻辑化、秩序化、艺术化和趣味化编排与
《胡小闹日记升级经典版·情商篇:不比聪明比努力》内容简介:学校要进行奥数竞赛了,胡小闹发现了同班同学秦奋的一个大秘密:如果
《原力:再造企业价值战略》内容简介:在移动互联背景下,商业环境发生了巨大变化,新商业模式正在井喷,巨大的价值潜力不断释放。
复杂互联系统与网络鲁棒性研究 本书特色 本书致力于介绍复杂互联系统与复杂网络鲁棒性研究的基础知识和研究进展。由于该领域相关研究内容繁多,因此本书主要介绍复杂网络...
《深度学习实践:计算机视觉》内容简介:本书主要介绍了深度学习在计算机视觉方面的应用及工程实践,以Python 3为开发语言,并结合
Bitcoinisstartingtocomeintoitsownasadigitalcurrency,buttheblockchaintechnologybe...
《山花灿烂寂寞红》内容简介:萧红编著的《山花灿烂寂寞红》是一本作品综合集,她的作品多取材于家乡,以其敏锐纤细的艺术感受力,
《AI+医疗健康:智能化医疗健康的应用与未来》内容简介:随着新一轮科技革命的到来,人工智能、大数据等技术对医疗健康领域产生了巨
《进击四十年:鲁商风云人物》内容简介:时代敲响火石、点燃星火,而企业家往往是冲锋向前的传薪者。这个人群以见微知著的敏锐和一
工业机器人与自控系统的集成应用 本书特色 本书从实用的角度出发,对工业机器人与PLC 控制系统的综合应用、触摸屏与机器人的联合应用、机器人与视觉系统的综合应用,...