介绍

数学结构函数编程研讨会是致力于从结构中导出功能。它是一个庆祝理论计算机科学对我们今天编写的程序。现代编程语言，以及在特定的函数式语言中，支持数学结构，为程序员提供工具非凡的力量和抽象。Haskell中的Monadic编程是典型的例子，但还有更多的数学见解体现在程序和编程语言设计中：反应式编程中的Freyd-categories，符号微分产生上下文结构，并辅音表示数据流，仅举三例。本研讨会是一个论坛寻求在数据中反映数学现象的研究人员控件。

何时何地？

2008年MSFP将于7月6日举行。这一次，我们很高兴成为ICALP 2008,7月6日至13日在冰岛雷克雅未克大学举行。

地铁列车时刻表

9 邀请的谈话 数学结构但非必要函数编程
安德烈鲍尔卢布尔雅那大学数学和物理系，斯洛文尼亚数学、物理和力学研究所，和数学与计算网络日志
10 系统U的部分类型检查算法
安德烈亚斯·阿贝尔（Andreas Abel）和托尔斯滕·阿尔滕科奇（Thorsten Altenkirch）
10.30 咖啡
11 什么是箭头的分类模型？
罗伯特·艾奇
11.30 数学运算语义的模块化及其实现
毛罗·贾斯克利奥夫（Mauro Jaskelioff）、尼尔·加尼（Neil Ghani）和格雷厄姆·赫顿（Graham Hutton）
12 习语是健忘的，箭头是一丝不苟的，单子是滥交的
萨姆·林德利、杰里米·亚洛普和菲利普·沃德勒
12.30 午餐
14 邀请的谈话 一些初等代数、类型演算和“反对角线”类型
奥斯卡奖得主，丹皮波尼工业光与魔法，以及无限的邻里
15 递归型泛型函数的代数特化
阿尔西诺·库尼亚和雨果·帕切科
15.30 咖啡
16 属性评估的另一个实现
埃里克·巴杜埃尔（Eric Badouel）、伯纳德·福清（Bernard Fotsing）和罗德里格·楚贡（Rodrigue Tchougong）
16.30 用反应发动机模拟有限Eilenberg机器
贝诺伊特·拉泽特
17 基于余自由递归余弦的递归格式
塔尔莫·乌斯塔卢和瓦尔莫·维尼
17.30 关闭

话题

提交现已关闭。欢迎提交，但没有指以下主题：

  • 结构化有效计算
  • 结构化递归
  • 结构化同位语
  • 结构化树和图操作
  • 带变量绑定的结构化语法
  • 结构化数据类型通用性
  • 结构化搜索
  • 函数的结构化表示
  • 结构量子计算
  • 结构化结构

非常欢迎关注某一主题适用性的作者联系康诺·麦克布莱德,ctm（at）严格肯定（dot）组织。

提交和发布

电子票据理论计算机科学暂时同意出版MSFP 2008会议记录。ENTCS要求以LaTeX格式提交，格式根据其指导方针.

论文必须报告以前未发表的作品，不得提交与另一个会议同时进行。计划委员会成员，除联合主席外，可以（而且确实受到鼓励）做出贡献。接受的文件必须是由一位作者在研讨会上介绍。

时间表

在认识到现代生活充满压力的同时，我们应该如果贡献者能够遵守以下时间表，则更可取。

提交摘要4月4日
提交论文4月11日
通知5月16日
最终版本到期6月13日
车间7月6日

方案委员会将努力作出回应。

方案委员会

  • 伊夫·贝托特，印度，索菲亚·安蒂波利斯
  • 维南西奥·卡普雷塔（联合主席），奈梅亨Radboud大学
  • 雅克·卡雷特安大略省麦克马斯特大学
  • 蒂埃里·科昆哥德堡查尔默斯大学
  • 安德烈·菲林斯基，科本哈文斯大学
  • Jean-Christophe Filliátre女士南巴黎大学LRI
  • 杰里米·吉本斯，牛津大学
  • 安迪·吉尔，伽罗瓦
  • 汉科克诺丁汉大学
  • 奥列格·基塞利约夫、FNMOC
  • 保罗·布莱恩·利维伯明翰大学
  • 安德烈斯·洛赫，乌得勒支大学
  • 马里诺·米库兰乌迪内大学
  • 康诺·麦克布莱德（联合主席），Alta Systems，北爱尔兰
  • 詹姆斯·麦金纳奈梅亨Radboud大学
  • 亚历克斯·辛普森，爱丁堡大学
  • 塔尔莫·乌斯塔卢塔林控制论研究所

之前的MSFP研讨会

首届MSFP研讨会于2006年7月在爱沙尼亚库雷萨雷举行，MPC和AMAST的优质窗帘架。由Conor McBride组织以及塔尔莫·乌斯塔卢，并特邀了约翰·鲍尔和安德烈吉的演讲菲林斯基。如果你不在那里，你真的错过了一个可爱的天。这个会议记录发表在英国计算机学会的“电子计算研讨会”系列，在线可用.

修订后的选定论文（具有完整的再参考过程）将作为功能期刊编程.