杰伊，巴里 模式演算。使用功能和结构进行计算。 （英文） Zbl 1215.68055号 柏林：施普林格出版社（ISBN 978-3-540-89184-0/hbk；978-3-540-89185-7/电子书）。xvii，第213页。(2009). 本书分为三部分（术语；类型；bondi编程），共18章（引言；函数；数据结构；静态模式；动态模式；对象；参数多态性；函数多态性；路径多态性；模式多态性；包含多态性；隐式类型；高阶函数；代数数据类型；查询；动态线性图案；国家；面向对象类）、附录和参考部分。这项工作为统一编程语言主要子组（函数式、命令式、关系式和面向对象编程语言）背后的驱动力的理论带来了新的视角。为了支持这一理论，作者开发了一种实验性编程语言bondi，它利用了模式演算的实用性。尽管这本书的目的是自足，但拥有理论计算机科学领域高级知识的知情读者将能够更容易地掌握微积分的技术细节。这本书面向大四本科生、研究型硕士毕业生和更广泛的专家以及与计算基础相关领域的专家。另一方面，这里展示的透视图对于从事编程语言设计或工具和Web服务设计的专家来说非常有用，因为他们希望能够处理没有太多可用信息的数据结构。审核人：米雷尔·科斯基（克雷奥瓦） 引用于14文件 MSC公司： 68甲15 编程语言理论 68甲18 函数编程和lambda演算 68第05页 数据结构 第68页第10页 搜索和排序 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：模式演算;λ-微积分;程序设计语言;数据结构;多态性 软件：息肉;汤姆;方案 PDF格式BibTeX公司 XML格式引用 \textit{B.Jay}，模式演算。使用功能和结构进行计算。柏林：施普林格出版社（2009；Zbl 1215.68055） 全文： 内政部