简·克里斯蒂安森;尼基塔·达尼连科;桑德拉·戴卢斯 各种排列(功能珍珠)。 (英语) Zbl 1360.68319号 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。168-179 (2016). MSC公司: 68甲18 函数编程和lambda演算 68页第10页 搜索和排序 关键词:哈斯克尔;自由定理;单子;不确定性;置换;排序 软件:哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{J.Christiansen}等人,in:《第21届ACM SIGPLAN函数编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)。168-179(2016;Zbl 1360.68319) 全文: 内政部