程序设计代数

这个程序设计代数小组研究在数学上合理但方便的操纵和用程序进行推理，特别关注函数和关系范式以及泛型编程。它在规范、算法和程序中寻找模式，并将这些模式抽象为通用的解决方案各类问题。活跃的每周研讨会包括围绕白板的交互式问题解决讨论。

选定出版物

查看全部

• 使用选择单数的算法设计

  约翰内斯·哈特曼和杰里米·吉本斯

  在Wouter Swierstra和Nicolas Wu的编辑中，函数式编程趋势.第13401卷LNCS。第126-143页。2022

  细节关于算法设计选择Monad |BibTeX公司的数据带选择的算法设计莫纳德 |DOI（10.1007/978-3-031-21314-4_7）|下载（pdf）属于使用选择单数的算法设计

• 延续-传递风格“去功能化”积累和关联性

  杰里米·吉本斯

  在编程的艺术科学与工程.第6卷。2号。第7页。2022

  2022年评审员选择奖获得者

  细节关于继续-超车风格“去功能化”积累和关联性 |BibTeX公司的数据延续-传球风格去功能化、积累和关联性 |内政部（10.22152/programming-journal.org/2022/6/7）|下载（pdf）属于延续-传递风格“去功能化”积累和关联性

• 宽度——通过分段第一次穿越

  Jeremy Gibbons、Oisin Kidney、Tom Schrijvers和Nicolas Wu

  第13544卷LNCS。第1-33页。2022

  细节关于宽度-第一次遍历通过暂存 |BibTeX公司的数据宽度-第一个穿越孔暂存 |内政部（10.1007/978-3-031-16912-0_1）|下载（pdf）属于宽度——通过分段第一次穿越