ICFP公司

我们提供的Haskell库静态地确保了资源（如文件句柄）的安全使用。我们静态地防止访问已经关闭的句柄或忘记关闭它。这些库可以扩展到其他资源，例如。。。

保护数据的机密性对计算系统越来越重要。多年来，为了实现这一目的，信息流技术得到了发展，从而产生了保证信息流的专用语言。。。

我们描述了Haskell中会话类型的实现。会话类型静态地强制客户端-服务器通信根据协议进行。它们已经被添加到几个并发计算中，但很少实现会话类型。。。

本文描述了用于基于属性的测试的两个Haskell库。在QuickCheck的领导下，这些测试库SmallCheck和Lazy SmallChect也使用基于类型的生成器来获取有限值的测试集，这些测试集的属性是。。。

我们描述了Haskell 98程序的自动分析，以静态检查，尽管可能使用部分（或非穷尽）模式匹配，但不会发生模式匹配失败。我们的方法是使用一种新的。。。

Yi是一个用Haskell编写的文本编辑器，可以用Haskel扩展。我们利用Haskell的表达能力来定义构成编辑器基础的嵌入式DSL。反过来，这些DSL提供了一种灵活的机制来创建扩展的。。。

哈斯克尔对read的定义和实现还远远不够完善。首先，read无法处理为中缀运算符定义的关联性。此外，它还限制了节目的定义方式，特别是迫使它。。。

Haskell中的newtype声明引入了一个新类型，用于重命名现有类型。程序员将这两种类型视为语义不同，但共享相同的运行时表示。当对两个语义视图的操作重合时。。。

八年前，函数依赖（一个来自关系数据库理论的概念）被提出，作为避免Haskell中多参数类型类常见问题的机制。在这种情况下，函数依赖提供了。。。

单数作为编程和语义的组织原则是众所周知的难以掌握的，但它们是Haskell中的一个中心和强大的抽象。本文介绍了一种特定于域的语言MonadLab，它简化了构造。。。

数据类型通用编程是定义依赖于数据类型的结构或“形状”的函数。它已经存在了10多年，并取得了很大进展，特别是在惰性函数编程语言Haskell……方面。。。

拉链是一种众所周知的设计模式，用于为数据结构提供类似光标的界面。然而，休特的经典论文（1）只触及了拉链的一些潜在应用的表面。在这项工作中，我们采取了。。。

编程语言本身的质量只是应用程序编写者完成工作能力的一个组成部分。编程语言的成败取决于其库集合的广度和质量。过去几年，。。。