First-Class Contexts in ML
First-Class Contexts in ML
复制标题
ML 中的一流上下文
DOI：
10.1142/s0129054100000053
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
M. Hashimoto
中科院分区：
文献类型：
--
作者：
M. Hashimoto
本文开发了一种具有一流上下文（即带孔的表达式）的ML风格编程语言。具有一流上下文的编程语言可以提供各种高级功能，例如宏、分布式编程和链接模块。这种编程语言的可能性是由桥本和Ohori开发的简单类型上下文演算理论所证明的。本文将上下文演算的简单类型系统扩展为ML式的多态类型系统，并给出了操作语义和完善的类型推理算法
This paper develops an ML-style programming language with first-class contexts i.e, expressions with holes. A programming language with first-class contexts can provide various advanced features such as macros, distributed programming and linking modules. A possibility of such a programming language was shown by the theory of simply typed context calculus developed by Hashimoto and Ohori. This paper extends the simply typed system of the context calculus to an ML-style polymorphic type system, and gives an operational semantics and a sound and complete type inference algorithm