ML和Haskell等语言鼓励将值视为一级实体，这些实体可以作为参数或函数结果传递，也可以存储为数据结构的组件。相同的语言提供参数多态性，这允许。。。

许多函数必须针对不同的数据类型反复编写，要么是因为数据类型在程序开发过程中会发生变化，要么是因为不同的数据类型需要具有类似功能的函数。此类……的示例。。。

在[Paige89]中，演示了如何在RAM上实时模拟一台设定机器，该RAM提供对数据的光标甚至指针访问。基本假设是，一些“客户”将提供高效数据结构的建立。。。

可以扩展具有数字类型的编程语言的类型系统，以支持度量单位的检查。然后，单位量化引入了一种新的参数多态性，并带有相应的雷诺式表示。。。

结构操作语义（SOS）是一种广泛使用的形式主义，用于指定程序的计算意义，并且通常用于指定函数式语言的语义。尽管广泛使用，但相对而言。。。

Wadler的毁林算法从功能程序中删除了中间数据结构。为了适合包含在编译器中，毁林必须在所有程序上终止。有几种技术可以确保终止森林砍伐。。。

我们介绍了一种用Scheme和ML等语言证明程序转换正确性的方法。该方法包括在以交互为基础的基于操作的术语模型中给程序一个指称语义。。。

本文提出了一种在高阶函数程序中隔离死代码的分析技术。首先，我们形式化了程序片段对程序返回值的贡献意味着什么。接下来，我们提供一个纯。。。

逃逸分析是Park&Goldberg[30]设计的一种静态优化存储管理的抽象解释技术。逃逸分析的主要应用是优化垃圾存储管理和数据局部性。。。

我们提出了一个新的谓词和可判定类型系统，称为ML_≤适用于在ML[21,28]传统中集成函数编程和参数多态性的语言，以及基于类的面向对象编程和高阶。。。

本文研究了具有原子子类型的类型化编程语言中简化类型的问题以及大多数通用类型的大小复杂性。我们定义了一个关于所有类型的最小类型的概念，这些类型在…方面是等价的。。。

模块机制在理论上受到了相当大的关注，但单独汇编和链接的相关概念没有得到强调。反常的模块系统出现在功能和面向对象编程中，其中。。。

我们研究了基于消息的并发编程中的参数多态性，重点研究了类型化过程演算中的行为等价性，类似于Girard和Reynolds的多态lambda演算。多态性限制了。。。

我们引入了一个演算，它是λ演算和π演算的直接推广。我们给出了它的一个简单类型系统，它包含了Curry对λ-演算的类型推理，以及Milner对π-演计算的排序，作为。。。

我们引入了类型理论λμ_v（v）作为经典命题证明的Curry-Howard表示理论，它是Parigot的λμ-演算的一个call-by-value变体。相关的重写系统是Church-Rosser和强规范化，以及定义。。。

本文提出了第一种算法，在具有任意循环嵌套和仿射数据访问的程序中，找到最佳仿射变换，使并行度最大化，同时使同步度最小。问题是。。。

随着并行机成为主流计算环境的一部分，编译器将需要应用同步优化来交付高效的并行软件。本文描述了一个新的同步优化框架和一个新。。。

通过状态空间探索进行验证，也称为“模型检查”，是分析并发反应系统（例如通信协议）正确性的有效方法。不幸的是，现有的模型检查技术。。。

Pizza是Java的一个严格超集，它融合了学术界的三种思想：参数多态性、高阶函数和代数数据类型。披萨的定义是翻译成Java并编译成Java虚拟机，。。。

Java提供了一种真正的可能性，即大多数程序都可以用类型安全的语言编写。然而，要使Java广泛使用，它需要额外的表达能力。本文将Java扩展到一个需要更多功能的领域：支持。。。