A Reduction Semantics for Call-by-value Mixin Modules
msra(2003)
摘要
Mixin modules are a framework for modular programming that supports code parameterization, incremental program- ming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formal- ize a reduction semantics and a sound type system for this language.
更多查看译文
关键词
type system
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络