穆申成;蒋玉熙;吕玉涵 排队和粘合以实现最佳分割(功能珍珠)。 (英语) 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年;兹比尔1361.68043) 全文: 内政部