Monad 的反射性

摘要：

由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射操作满足反射的条件. 基于上述讨论, 可以很容易地构造出具有反射性的Monad程序.

关键词：反射、Monad、元层、接续

所属期刊栏目：42

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

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

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

页数：共5页

页码：195-199