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.
日本珠寶學苑編?大場子著日本珠寶學苑是一所專門教授珠寶製作的教育機構,位於世界幾個有名的珠寶商業區域之一~東京上野附近的御
《Go微服务实战》内容简介:当今世界,软件的规模越来越大、功能越来越复杂,研发团队的规模也变得越来越大,运维人员和研发人员之
《XMPP高级编程:使用JavaScript和jQuery》内容简介:XMPP是一个广泛用于即时通信、多用户聊天、语言和视频会议、协作空间、实时游
《中国当代音乐家访谈录》内容简介:《中国当代音乐家访谈录》共分“闻香起舞”“挥洒精彩”“情动乐思”“咏声叹韵”“弄弦抚键”
《TRIZ:产品创新设计》内容简介:开发出有竞争力的产品,是制造业企业提高自身竞争优势的重要保障因素。在模糊前端和新产品开发、
《企业的护城河》内容简介:众多业内人士、专家、学者联袂推荐 揭示企业如何用宽广的护城河 打造结构性竞争优势、实现长期主义的收
《PHP框架高级编程:应用Symfony、CakePHP和Zend》详细比较Symfony、CakePHP和ZendFramework的利弊,并介绍如何使用每种...
《胜任力:智能时代的自主修炼和自由发展》内容简介:作者基于28年不同企业、不同岗位的职业经历,将人生在世的全部活动归结为三件
《温文载道》内容简介:文以载道,温文尔雅。文只是载体,道才是根本。正所谓“文章合为时而著,歌诗合为事而作”。“文以载道”不
前言鸣谢简介1.用闪电书写——塞穆尔·莫尔斯与电磁电报创造发明家通讯的需要电的选择莫尔斯的第一个电报其他科学家:惠斯登电报
《官方 Scratch 3.0 编程趣味卡:让孩子们爱上编程(全彩)》内容简介:Scratch是目前热门的儿童编程学习软件,自诞生之日起就受到
Theaimofthisbookistodiscussthefundamentalideaswhichliebehindthestatisticaltheory...
可视化绘图制作方法与技巧 本书特色 在做演示、咨询、主持或培训等各种商务活动中,怎样把抽象的问题和概念转变成视觉语言来快速打动受众呢?这就是《可视化绘图制作技巧...
《从0到1写方案》内容简介:基于全网10万+学员订阅的爆款课程《如何成为年入百万的方案高手》《15堂零基础系统方案课》内容来进一步
《爱的教育》内容简介:特殊教育是对有特殊需求的青少年儿童进行特殊培养,培养和发挥他们的能力,使其能够增强适应社会能力的能力
《整理的艺术》内容简介:你知道吗?一机双屏是整理,网购是整理,换浏览器也是整理!紧张的工作、铺天盖地的信息、可怕的惰性容易
《这个明朝真好玩儿》内容简介:在明朝穿错衣服会有牢狱之灾 在明朝请吃饭必须发书面请帖 在明朝土豪们也流行貂皮大衣 在明朝黄花梨
为什么日本产品迷人?日系品牌对世界来说,还有一种莫以名之的不败魅力。新一代中国年轻人更是越来越热爱日本的文化艺术。日本之
《你不必讨全世界的欢心》内容简介:知乎人气情感一姐菠菜 且做一个久处不厌的女人 在知乎她被280000人关注;文章80000000 次阅读
In2009,BlackBerrycontrolledhalfofthesmartphonemarket.Todaythatnumberisonepercent...