保存此搜索
第条 1997年1月 具有类型推断的一类多态性 ML和Haskell等语言鼓励将值视为一级实体,这些实体可以作为参数或函数结果传递,也可以存储为数据结构的组件。 相同的语言提供参数多态性,这允许。。。 第条 1997年1月 PolyP-一种多类型编程语言扩展 许多函数必须针对不同的数据类型反复编写,这可能是因为在程序开发过程中数据类型会发生变化,也可能是因为不同的数据型需要具有类似功能的函数。 此类……的示例。。。 第条 1997年1月 高级阅读和数据结构编译 在[Paige89]中,演示了如何在RAM上实时模拟一台设定机器,该RAM提供对数据的光标甚至指针访问。 基本假设是,一些“客户”将提供高效数据结构的建立。。。 第条 1997年1月 关系参数和度量单位 可以扩展具有数字类型的编程语言的类型系统,以支持度量单位的检查。 然后,单位量化引入了一种新的参数多态性,并带有相应的雷诺式表示。。。 第条 1997年1月 无限控制流分析 :闭包分析的集合语义 定义收集语义通常是使抽象解释的一般方法适应当前语义框架或编程语言的第一个关键步骤。 本文介绍了如何为…定义收集语义。。。 第条 1997年1月 类型作为抽象解释 从带有显式运行时错误的急切非类型化lambda-calculus的指称语义开始,标准收集语义被定义为指定最强的程序属性。 通过第一次抽象,一种新的声音类型集合。。。 第条 1997年1月 类型检查高阶多态多方法 我们提出了一个新的谓词和可判定类型系统,称为ML ≤ 适用于在ML[21,28]传统中集成函数编程和参数多态性的语言,以及基于类的面向对象编程和高阶。。。 第条 1997年1月 继承类型理论中的类型化算法 我们提出并研究了一种新的依赖类型理论的类型划分算法。 这个新算法通过使用类之间的继承来对更多术语进行类型检查。 这种继承机制非常强大:它支持多重继承,类具有。。。 第条 1997年1月 原子子类型中的最小类型 本文研究了具有原子子类型的类型化编程语言中简化类型的问题以及大多数通用类型的大小复杂性。 我们定义了一个关于所有类型的最小类型的概念,这些类型在…方面是等价的。。。 第条 1997年1月 带控制的函数计算的Curry-Howard基础 我们引入了类型理论λμ v(v) 作为经典命题证明的Curry-Howard表示理论,它是Parigot的λμ-演算的一个call-by-value变体。 相关的重写系统是Church-Rosser和强规范化,以及定义。。。 第条 1997年1月 “准时”=“迟到总比不到好”吗? World-Wide Web正在成为分发平台相关的中间形式程序的媒介。 大多数Java供应商最近宣布计划构建“即时”系统,将中间文本转换为本地代码。。。 第条 1997年1月 防卡密码 本文描述了校验码(PCC),这是一种主机系统可以确定执行由不可信源提供的程序(可能是二进制形式)是否安全的机制。 为了实现这一点,不受信任的代码。。。 第条 1997年1月 函数和逻辑编程的统一计算模型 我们提出了一种新的计算模型,它结合了函数语言(约简)、逻辑语言(非确定性搜索解决方案)和集成函数逻辑语言(残差和收缩)的操作原理。 这个。。。 第条 1997年1月 滚动您自己的可变ADT—线性类型和单子之间的连接 描述了一种方法,其中线性ADT可以严格封装在状态单体中。 本文还描述了从原始ADT公理到一元公理的类CPS翻译,并证明了其正确性,从而可以在。。。 第条 1997年1月 形状类型 命令式语言当前可用的类型系统太弱,无法检测到一类重要的编程错误。 例如,它们不能表示列表是双重链接或循环的属性。 我们建议解决这个问题。。。