|
会话1 会议主席:Janis Voigtlaender
|
9:00
|
欢迎光临 |
9:10
|
类型正在调用约定
|
|
Max Bolingbroke和Simon Peyton Jones |
9:35
|
失去功能获取数据-重新审视故障化 |
|
尼尔·米切尔和科林·伦西曼 |
|
|
10:00
|
咖啡休息时间 |
|
|
|
会话2 会议主席:Jeremy Gibbons
|
10:30
|
推拉功能反应性编程 |
|
科纳尔·埃利奥特 |
10:55
|
取消嵌入特定域语言文字 |
|
Robert Attkey、Sam Lindley和Jeremy Yallop |
11:20
|
构成理论STM哈斯克尔 |
|
Johannes Borgstrom、Karthikeyan Bhargavan和Andrew D戈登 |
11:45
|
滚动您自己的测试床嵌入式实时协议:Haskell体验 |
|
Lee Pike、Geoffrey Brown和Alwyn Goodloe |
|
|
12:00
|
午餐
|
|
|
|
会话三 会议主席:西蒙·马洛
|
13:30
|
惰性功能增量正在分析 |
|
珍妮·菲利佩·伯纳迪 |
13:55
|
合金:快速通用Haskell的转换 |
|
尼尔·布朗和亚当·桑普森 |
14:20
|
The Architectures of TheUtrecht Haskell编译器 |
|
阿特泽·迪杰斯特拉、杰罗恩·福克和多伊斯·斯威斯特拉 |
14:45
|
工具演示:CLasH:从Haskell到Hardware |
|
克里斯蒂安·巴伊吉(Christiaan Baaij,Matthijs)Kooijman、Jan Kuper、Marco Gerards和Bert Molenkamp
|
|
|
15:00
|
咖啡休息时间 |
|
|
|
会话4 会议主席:Mark P.Jones
|
15:30
|
并行性能调整对于Haskell |
|
Don Jones Jr、Simon Marlow和Satnam Singh |
15:55
|
类型安全的可观察共享在哈斯克尔 |
|
安迪·吉尔 |
16:20
|
找到针:StackGHC痕迹 |
|
特里斯坦·奥尔伍德、西蒙·佩顿·琼斯和苏珊·艾森巴赫 |
|
|
16:45
|
短暂休息 |
|
|
|
会话5
|
17:00
|
关于未来的讨论哈斯克尔
|
17时45分
|
完 |