维克托里亚州兹索克（编辑）;休斯，约翰（编辑） 函数编程的趋势。第22届国际研讨会，TFP 2021，虚拟活动，2021年2月17日至19日。修订了选定的论文。 （英语） Zbl 1482.68043号 计算机科学课堂讲稿12834.查姆：施普林格（ISBN 978-3-030-83977-2/pbk；978-3-0030-83978-9/电子书）。vii，137页。(2021). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1464.68005号].索引文章：优素福·穆萨（Yusuf Moosa Motara），类型化函数编程的高级建模，69-94[Zbl 1490.68075号]Šefl，维特，将lambda微积分转换为C++模板，95-115[Zbl 1490.68076号]丹尼尔·梅尔瑟；Chang，斯蒂芬，ProofViz：交互式视觉验证探险家，116-135[Zbl 1490.68292号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68甲18 函数编程和lambda演算 00B25型 杂项特定利益的会议记录 引文：Zbl 1464.68005号 PDF格式BibTeX公司 XML格式引用 \textit{V.Zsók}（编辑）和textit{J.Hughes}（编），函数编程趋势。第22届国际研讨会，TFP 2021，虚拟活动，2021年2月17日至19日。修订了选定的论文。查姆：施普林格（2021；Zbl 1482.68043） 全文： 内政部