穆申成;蒋玉熙;吕玉涵 排队和粘合以实现最佳分割（功能珍珠）。 （英语） Zbl 1361.68043号 Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。158-167 (2016). MSC公司： 68甲18 函数编程和lambda演算 68第05页 数据结构 关键词：最优分区;程序推导 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Mu}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。158-167（2016；Zbl 1361.68043） 全文： 内政部