一种基于Monad反射语言解释器的构造

摘要：

通过定义一个简单的反射语言, 给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器.

关键词：计算反射、Monad、元层、函数式语言、形式化

所属期刊栏目：41

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60073041

在线出版日期：2003-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：487-492