The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy!
《一本书读懂物联网(第2版)》内容简介:本书的创新加强之处在于:一是更加实用,把物联网的基础知识、背景趋势、基本框架、体系组
《Java Web程序设计》内容简介:本书以Web开发流程为主线,让读者了解真实的Web开发过程,体会规范化、标准化、专业化的软件开发流
《编程珠玑》第一版是我早期职业生涯中阅读过的对我影响较大的书籍之一,在书中首次接触到的很多观点都让我长期受益。作者在这一
DigitalCommunicationsisaclassicbookintheareathatisdesignedtobeusedasaseniororgra...
《哈农钢琴练指法(重点提示版)》内容简介:《哈农钢琴练指法(重点提示版)》已成为钢琴学习者必不可少的练习,这种练习将伴随他
《人活动的效率》内容简介:本书是郭湛的博士论文《人活动的效率》(北京,人民出版社,1990)的修订版,在原书八章基础上增加到十
会声会影11视频编辑从入门到精通【含盘】KH3656 本书特色 《会声会影11视频编缉从入门到精通》特色:资深DV玩家告诉你视频剪辑的你也可以像大导演一样轻松玩...
网络空间很复杂,好多人并不完全了解或者只是了解到一些皮毛。比如说好多人对于见网友一事总是抱着浪漫或者暖昧的想法,而事实却
五所权威德国设计学院:柏林艺术大学(UdkBerlin)杜塞尔多夫高等专业学院(FHD)莱比锡书籍设计及平面设计学院(HGBLeipzig)奥
《世界汉学(第10卷)》内容简介:《世界汉学(第10卷)》中国人民大学出版社出版。本书包括了:汉学与汉学家在德国——过时的概念?
《企业文化建设实务》内容简介:本书是基于5年对中国式企业文化建设实践案例的研究与总结而成,书中创新性地提出了成功有效的中国企
张量数据的特征提取与分类 本书特色 《张量数据的特征提取与分类》的主要研究内容是在模式识别应用领域中,提出新的基于张量数据的特征提取和分类算法,并且对这些张量型...
《时光交汇的地方》内容简介:太多的人,穿行在城市之间,忙碌的节奏让我们忘记了生活的本色。有一些或诙谐或温暖的文字,是调节神
《阿里巴巴基本动作:管理者必须修炼的24个基本动作》内容简介:收齐日报很难,收到合格的日报更难,用日报管好团队难上加难?招不
《典型半导体团簇及组装材料的结构和电子特性》内容简介:典型半导体团簇及其团簇组装材料的结构及其电子性质的研究是当前团簇科学
《ExtJS源码分析与开发实例宝典》从ExtJS实现的基本功能开始讲解,从两个方面对ExtJS进行整体上的概述,让读者从宏观上去把握Ext
《无线城市发展思路和应用案例》内容简介:本书以大量丰富、翔实的实例,具体介绍了无线城市建设的探索历程、特色理念、创新模式和
Abasicproblemincomputervisionistounderstandthestructureofarealworldscenegivensev...
多维信号处理:快速变换.稀疏表示与低秩分析 本书特色 多数信号处理论著主要针对理论与方法臻备的一维信号,而对于仍在发展完善中的多维信号处理少有涉及或涉之不深。本...
《北大清华人文课》内容简介:阅读经典,读者可以和无缘谋面的历史巨人或不相识的朋友进行精神的对话。本书搜集、整理了北大、清华