In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming theory that is both accessible and practical.
《赢在执行》内容简介:职场上的成功,需要我们通过执行去获得,我们不能做语言的巨人,行动的矮子,而应当不断提高自己的执行力,
《徐冬一托福写作满分直达①》内容简介:《徐冬一托福写作满分直达①》是托福考试类辅导图书,适用于托福学习和备考的任何阶段。图
《零基础入门学习C语言:带你学C带你飞(微课视频版)》内容简介:《零基础入门学习C语言——带你学C带你飞(微课视频版)》提倡“
Clojure是一门Lisp方言。它通过函数式编程技术,直接支持并发软件开发,得到众多开发人员的欢迎,广泛应用于各个领域。Web开发是
《《封神演义》考论》内容简介:本书以正统叙事与民间叙事的冲突融合为切入点,主要讨论了殷商之际的历史及其在正统叙事与民间叙事
全国英语等级考试词汇必备第二级 本书特色 针对教育部*新颁布的《全国英语等级考试大纲(全新版)》,未来教育在已出版成功的词汇书的基础上,对《全国英语等级考试词汇...
朱宏微软(中国)用户体验布道师新浪微博@MLikeasong负责大中华地区微软设计风格的普及、设计团体交流合作、基于Windows8和Windo
本书全面介绍了家具设计的基础知识、设计原理以及设计方法,包括对功能、材料、制作过程和持续性方面等进行了介绍。书中所选案例
本书由浅入深、循序渐进地讲解了Android系统的软件安全、逆向分析与加密解密技术。包括Android软件逆向分析和系统安全方面的必备
复杂互联系统与网络鲁棒性研究 本书特色 本书致力于介绍复杂互联系统与复杂网络鲁棒性研究的基础知识和研究进展。由于该领域相关研究内容繁多,因此本书主要介绍复杂网络...
《考研阅读句句讲(英语一)》内容简介:本书以作者独创的“读9项”速解阅读题和“主干公式”为指导,以考研英语真题阅读的每一篇为
信息通信网络是对包括电信网络、计算机网络和新一代网络等在内的各类网络的总称。本书对这些网络在系统层面上就它们的基本概念、
iOS开发如日中天,iOS6又为我们带来了大量的高级特性,从事移动开发的你,还等什么?本书急开发者之所急,揭秘了多数开发类图书未
《你好,自然(小学通识版)》内容简介:这是一个关于自然的博物类套装书,包括图书和材料包(电子书版不含材料包)。它主要介绍了
《春水集》内容简介:《春水集》是作者从事博物馆工作以来的学术散文集,主要内容为清代、民国以来学林掌故以及著名学人的生平、往
RAW格式数码照片处理完全解析-(附光盘) 本书特色 raw格式是目前所有数码摄影人士都非常喜爱的影像格式,但由于raw格式图片在转换过程中步骤繁多,让许多影友...
PrototypeandScriptaculousarelibrariesthatextendstandardAjax.Theymakeiteasiertopr...
《巡天记》内容简介:1965年9月,在一条神秘的军用铁路线的列车上,来自同一班级的10大学毕业生,一起奔向大漠深处的神秘之地。几年
《白鹭在冰面上站着》内容简介:无论被叫作香格里拉,还是勐巴拉西,云南都是“人间天堂”的意思。在雷平阳眼里,云南是他的文学诞
《自然社交,让情绪不再敏感》内容简介:社交敏感者在生活中最大痛点就是对人际关系的处理总显得力不从心,本书根据近百起实际案例