A Kernel Language for Abstract Data Types and Modules
A Kernel Language for Abstract Data Types and Modules
复制标题
抽象数据类型和模块的内核语言
DOI：
--
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
B. Lampson
中科院分区：
文献类型：
--
作者：
R. Burstall;B. Lampson
一小组构造可以模拟现代编程语言中各种各样明显不同的功能。使用类型化lambda演算，绑定，声明和类型作为第一类值，我们展示了如何构建模块，接口和实现，抽象数据类型，泛型类型，递归类型和联合。该语言具有由推理规则给出的简洁的操作语义。
A small set of constructs can simulate a wide variety of apparently distinct features in modern programming languages. Using typed lambda calculus with bindings, declarations, and types as first-class values, we show how to build modules, interfaces and implementations, abstract data types, generic types, recursive types, and unions. The language has a concise operational semantics given by inference rules.