第九届数学结构化函数式编程研讨会议录
摘要：第九届数学结构化函数编程研讨会（MSFP 2022）会议论文集。该会议作为2022年欧洲联合软件理论与实践会议（ETAPS 2022）的卫星会议于4月2日举行。MSFP研讨会旨在突出数学结构在编程应用中的应用。我们推动类别论、类型论和形式语言语义学在简单合理程序开发中的应用。正如今年研讨会上展示的论文范围所示，这仍然是一个富有成果的界面。
作者：Jeremy Gibbons (University of Oxford), Max S. New (University of Michigan)
论文ID：2206.09534
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-06-22