内奥亚·福鲁多诺；聪，又有；Hidehiko Masuhara；Daan Leijen，达安 有效调整影响行。 （英语） 兹比尔1528.68065 Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。13401年，169-191年（2023年）。MSC公司：68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Furudono}等人，Lect。注释计算。科学。13401169--191（2023年；Zbl 1528.68065） 全文： 内政部
川崎一木；聪，又有；Hidehiko Masuhara；Daan Leijen 闭合效果行的完整类型推断。 （英语） Zbl 1528.68067号 Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。13401, 144-168 (2023).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Ikemori}等人，Lect。注释计算。科学。13401144-168（2023年；Zbl 1528.68067） 全文： 内政部