浏览会议记录

并行函数语言Eden用构造扩展了Haskell，以显式定义和通信进程。这些扩展允许将骨架轻松定义为高阶函数。然而，程序员可能会无意中引入。。。

为了实现高层次的抽象，面向数组的语言提供了以形状不变的方式定义数组操作的语言构造。然而，当尝试将此类通用数组操作编译为高效的可执行代码时。。。

在函数数组处理中，类映射骨架和类折叠骨架是指导并行程序执行的合适抽象。然而，当谈到实现高性能时，事实证明将编译工作限制在单个骨架上是。。。

SPARKLE是一个新的定理证明程序，它是用函数编程语言CLEAN编写并专门用于该语言的。它主要用于程序员证明程序部分的属性，将编程和推理结合到一个过程中。。。

本文讨论了Haskell、Clean和C语言中IO操作的推理，并比较了这些语言中IO的不同方法对推理的易用性的影响。使用VDM建立了IO系统模型，并用于证明基本的。。。

J.Launchbury给出了懒惰评估的操作语义，并表明它是一个完整的语言指称语义。然后，P.Sestoft介绍了几个用于惰性评估的抽象机器，并表明它们是。。。

动态的廉价渴望通过允许推迟到运行时来决定是构建thunk还是对其身体进行推测性评估来扩展廉价渴望。我们已经在一个简单函数语言的编译器中实现了这种优化。。。

本文是先前工作的延伸，其中提出了两个不确定性分析。其中一个效率很高，但不是很强大，另一个更强大，但非常昂贵。在这里，我们开发了两个……的中间分析。。。

我们已经为标准ML开发了一个并行化编译器，它允许实例化具有等效并行算法框架的一组固定的高阶函数。该编译器旨在实现可移植性和半自动化。在这里，我们。。。

通过插入转换函数，可以将带有子类型的编程语言翻译为不带子类型的语言。以往对这种解释的研究只表明了译文的外延正确性。我们研究…的运行时行为。。。

泛型编程使程序员能够通过对类型结构的归纳来定义函数。定义一次后，这样的泛型函数可以用于为任何用户定义的数据类型生成专用函数。支持通用的几种方法。。。