论文标题
会议记录第八次关于数学结构化功能编程的研讨会
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
论文作者
论文摘要
该卷包含有关数学结构化功能编程（MSFP 2020）的第八届研讨会的会议记录。该会议原定于4月25日在爱尔兰都柏林举行，作为欧洲关于软件理论与实践联合会议的卫星活动（ETAPS 2020）。 由于Covid-19的大流行，ETAPS 2020和MSFP 2020，已被推迟到尚待确定的日期。 MSFP研讨会突出显示了数学结构对编程应用程序的应用。我们将类别理论，类型理论和正式语言语义的使用来开发简单合理的程序的发展。今年的论文涵盖了各种主题，从阵列编程到相关类型再到效果。
This volume contains the proceedings of the Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020). The meeting was originally scheduled to take place in Dublin, Ireland on the 25th of April as a satellite event of the European Joint Conferences on Theory & Practice of Software (ETAPS 2020). Due to the COVID-19 pandemic, ETAPS 2020, and consequently MSFP 2020, has been postponed to a date yet to be determined. The MSFP workshop highlights applications of mathematical structures to programming applications. We promote the use of category theory, type theory, and formal language semantics to the development of simple and reasonable programs. This year's papers cover a variety of topics ranging from array programming to dependent types to effects.
