2000年ACM SIGPLAN
Haskell研讨会

2000年9月17日

加拿大蒙特利尔

哈斯克尔研讨会由ACM SIGPLAN公司并构成物价指数2000关于…的座谈会高级编程的原理、逻辑和实现语言,包括ICFP公司/PPDP(PPDP)会议以及相关研讨会。之前举办过Haskell研讨会阿姆斯特丹La Jolla(1995)(1997)和巴黎(1999).

范围

Haskell研讨会的目的是与哈斯克尔,以及可能的未来语言的发展。The scope of the研讨会包括设计、语义、理论、应用、,Haskell的实施和教学。提交内容讨论Haskell目前的局限性和/或为特别鼓励使用Haskell的未来版本。

提交详细信息

提交截止日期: 2000年6月1日
中标通知书: 2000年7月14日
最终提交日期: 2000年8月11日
Haskell研讨会: 2000年9月17日

作者应以附言格式提交最多12页的论文,格式化为美国信件或A4纸,至格雷厄姆·赫顿2000年6月1日之前。

被接受的论文最初将出现在诺丁汉大学技术报告,并随后在电子票据理论计算机科学.继Haskell研讨会之后,将有关于的特别问题哈斯克尔第页,共页函数式编程.

讲习班计划

描述了注册费用和注册程序在这里.在Haskell研讨会上提交论文的学生可以申请财政援助SIGPLAN PAC公司.

除了在已被接受的论文上进行较长的演示外,还有一些插槽参与者可以进行10分钟的非正式演讲。要申请此类插槽,请联系格雷厄姆·赫顿.

8.30-10.00:由Graham Hutton(诺丁汉)担任主席

兰巴达、哈斯克尔更好的Java
埃里克·梅耶尔(乌得勒支)和西格伯恩·芬恩(微软)

写作Haskell中的高性能服务器应用程序
案例研究:Haskell Web服务器

西蒙·马洛(微软)

Haskell服务器页面:函数式编程与中间层之战
埃里克·梅耶尔(乌得勒支)和丹尼·范·维尔岑(乌得勒支)

10.00 - 10.30:

咖啡

10.30-12.30:由安迪·吉尔(OGI)主持

概述爱迪生的
Chris Okasaki(哥伦比亚)

组合器解析器:从玩具到工具
Doaitse Swierstra(乌得勒支)

键入的逻辑Haskell中的变量
科恩·克莱森(查尔莫斯)和彼得·荣格洛夫(查尔默斯)

10分钟时段

12.30 - 14.00:

午餐

14.00-15.30:由Chris Okasaki(哥伦比亚)担任主席

调试Haskell通过观察中间数据结构
安迪·吉尔(OGI)

空间-语义用于Core Haskell
Adam Bakewell(约克)和Colin Runciman(约克郡)

10分钟时段

15.30 - 16.00:

咖啡

16.00-18.00:由埃里克·梅耶尔(乌得勒支)主持

可派生类型课程
Ralf Hinze(波恩)和Simon Peyton Jones(微软)

数据字段哈斯克尔
Jonas Hormerin(KTH)和Bjorn Lisper(KTH)

图案防护装置和转换模式
Martin Erwig(俄勒冈州)和Simon Peyton Jones(微软)

讨论:哈斯克尔的未来(拉尔夫·欣泽)

方案委员会

理查德 牛津大学
安迪·吉尔 研究院
拉尔夫·海因茨 波恩大学
保罗·哈达克 耶鲁大学
格雷厄姆·赫顿(主席)诺丁汉大学
梅耶尔 乌特勒支大学
克里斯·冈崎 哥伦比亚大学
蒂姆·谢尔德 研究院