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(微软)
讨论:哈斯克尔的未来(拉尔夫·欣泽)
方案委员会