程序设计代数
教师
荣休教授
学生
外部
过去的成员
选定出版物
-
使用选择Monad的算法设计 约翰内斯·哈特曼和杰里米·吉本斯 在Wouter Swierstra和Nicolas Wu的编辑中, 函数式编程趋势 . 第13401卷 LNCS。 第126-143页。 2022 细节 关于 算法设计 选择Monad | BibTeX公司 的数据 带选择的算法设计 莫纳德 | 内政部(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) 属于 宽度——通过分段第一次穿越