斯卡拉 swMATH ID: 7180 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 描述： Scala中的步骤。对象函数编程简介。Scala是一种高度表达、简洁和可扩展的语言。它也是被称为对象-函数编程的新的令人兴奋的方法中最突出的方法。在这本书中，作者展示了Scala如何满足程序员的需求，无论是专业程序员还是业余程序员。他们以循序渐进的方式教授Scala，并解释如何充分利用业界公认的JVM技术的强大功能。读者可以从真实世界的软件工程试验中得到启发，深入研究特别选择的设计挑战和实现问题。它还帮助读者接受静态类型和自动类型推断的强大功能。此外，这本书还展示了如何使用Scala核心中结合的双对象和面向函数的特性，从而编写不那么“样板”的代码，从而真正提高生产力。 主页： http://www.scala-lang.org/ 关键词： 面向对象程序设计；函数式编程；并行编程；语言外延；Java语言；虚拟机；编译器 相关软件： Coq公司；z3（零3）；轻量级Java；哈斯克尔；伊莎贝尔；github；CVC4型；伊莎贝尔/HOL；OCaml公司；AXIOM公司；艾菲尔；Isabelle/j编辑；R（右）；阿帕奇火花；简化；布吉；毫升；一般证明；生锈；JML公司 引用于： 88文件 更多出版物： http://www.scala-lang.org/node/205 全部的 前5名177位作者引用 5 费卢西奥·达米亚尼 5 维克多·昆卡 4 布鲁诺·C·d·S·奥利维拉。 4 马卡里乌斯·温策尔 三 洛伦佐·贝蒂尼 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 拉斐尔·乔利 2 乔治·奥德里托 2 罗伯特·卡萨迪 2 伊曼纽尔·德·安吉利斯 2 法比奥·菲奥拉万蒂 2 Thibaud Hottelier 2 科瓦奇，劳拉·伊尔迪科 2 海因茨·克雷德尔 2 Owe、Olaf 2 斯坦尼斯拉夫·波斯拉夫斯基 2 毛里齐奥·普罗埃蒂 2 蒂亚克·隆普夫 2 汤姆·施里杰弗斯 2 谢尔盖，伊利亚 2 马丁·斯特芬 2 菲利普·苏特 2 埃里克·坦特 2 彼得·蒂曼。 2 米尔科·维罗利 2 威尔金森，达伦·詹姆斯 1 阿卜杜勒·加瓦德（Abdel Gawad，Moez A.）。 1 艾丽卡·阿尔布拉汉姆 1 Joao Alpuim 1 纳达·阿明 1 菲尔·巴格韦尔 1 克莱门斯·巴拉林 1 费利佩·巴尼亚多斯·施沃特 1 马雷克·巴拉诺夫斯基 1 佛朗哥·巴巴内拉 1 彼得·鲍姆加特纳 1 雅各布·比尔 1 阿格洛斯·比布迪斯 1 雷吉斯·布朗 1 西蒙，布利兹 1 安布罗斯邦奈尔-谢根 1 Brachthäuser，乔纳森·伊曼纽尔 1 埃德温·布雷迪（Edwin C.Brady）。 1 萨拉·卡佩基 1 朱塞佩·卡斯塔尼亚 1 约翰·麦金利·钱伯斯 1 克里希南德·查特吉 1 霍雷修·西尔斯泰 1 克拉克、戴夫 1 泽维尔·克莱尔 1 皮埃尔·埃瓦里斯特·达甘 1 弗朗西斯科·达格尼诺 1 穆罕默德·达什蒂 1 罗文·戴维斯 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 多米尼克·德夫里塞 1 马里亚纽拉州Dezani-Ciancaglini 1 安东尼奥·迪·斯塔西奥 1 约翰·多夫兰 1 罗兰·杜库诺 1 尤金·埃伯巴赫 1 罗曼·爱德曼 1 埃里克·恩斯特 1 罗兰·埃瓦尔德 1 帕斯卡·方丹 1 阿德里安·弗兰卡兰扎 1 阿贝尔·加西亚 1 罗纳德·加西亚 1 杰克·J·加泽拉。 1 凯萨琳·盖尔曼 1 盖托，丽斯 1 保拉·吉安尼尼 1 杰里米·吉本斯 1 伊莫·格雷布 1 林赛·格罗夫斯。 1 安德烈亚斯·格吕纳 1 塞缪尔·格吕特 1 何绍波 1 黄雪晶 1 拉尔斯·胡佩尔 1 迈克尔·R·A·胡特。 1 拉德哈·贾加迪桑 1 贾科·加尔维 1 芭芭拉·乔布斯曼 1 埃纳尔·布罗赫·约翰森 1 爱德华·坎布里扬 1 安吉丽卡·基米格 1 克洛德·基什内尔 1 奥列格·基塞利约夫 1 科赫（Christoph T.Koch）。 1 佐尔坦·A·科希斯。 1 迈克尔·科尔哈斯 1 科克萨尔，阿里·西南 1 拉杜·科佩茨 1 拉尔夫·拉梅尔 1 彼得·兰米奇 1 伊万·拉内斯 1 科西莫·拉内夫 1 法律，乔纳森 1 克里斯托斯·洛夫多斯。 …还有77位作者 全部的 前5名23篇连载文章中引用 9 函数编程杂志 6 计算机程序设计科学 4 程序设计中的逻辑和代数方法杂志 三 自动推理杂志 三 计算机科学中的逻辑方法 1 信息学报 1 计算机物理通信 1 信息处理信件 1 控制论学报 1 理论计算机科学 1 符号计算杂志 1 统计科学 1 新一代计算 1 机器学习 1 数学与人工智能年鉴 1 美国计算机学会模型和计算机仿真汇刊 1 约束条件 1 高阶和符号计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 统计与计算 1 查普曼和霍尔/CRC数学和计算生物学系列 全部的 前5名13个领域引用 83 计算机科学（68至XX） 13 数理逻辑与基础（03-XX） 4 统计学（62-XX） 三 数值分析（65-XX） 2 交换代数（13-XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文