论文部分内容阅读
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射操作满足反射的条件. 基于上述讨论, 可以很容易地构造出具有反射性的Monad程序.
Monad的反射性
【摘 要】
：
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射
【机 构】
：
吉林大学计算机科学与技术学院长春130012
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金
其他文献
【正】郑政文〔2010〕256号二O一O年九月二十九日各县(市、区)人民政府,市人民政府有关部门,各有关单位:为加快推进我市产业集聚区全面发展,根据《中共河南省委河南省人民政
在国家质检总局学习贯彻十六届五中全会精神专题学习班上，总局领导结合自身学习体会，将中央提出的“十一五规划建议”中的主要内容，归纳出18项与质检事业有关的工作重点。
<正> 门脉高压症脾切除术后,临床上出现较长时间的发热,短者1周左右,长者数月之久。发热远较其它腹部手术显著。以往把这类发热笼统称为脾热或脾周围炎,这是不够准确的。引起
思想政治课堂中的爱国主义教育应包括爱国知识的教育、爱国情感的激发以及爱国行为的引导，这三者都是重要的、相辅相成的，但爱园主义归根到底要体现在行动中。今天，面对二十一世
针对BP神经网络在学习速度方面的不足，在Jordan和Elman网络结构的基础上，提出一种带偏差单元的递归网络模型，根据BP算法推导出该网络模型的权系数调整规则，并应用该网络模型进行
●基本案情2004年1月,惠州市科马卫生间设计有限公司(以下简称科马公司)委托广东A地新骏进出口有限公司(以下简称新骏公司)进口46台按摩浴缸,并签定了代理进口协议.随后,新骏
【正】郑政办文[2010]31号二○一○年四月七日各县(市、区)人民政府,市政府有关部门,各有关单位:2009年,按照市政府的统一部署,《郑州农村发展报告》的编辑工作紧紧围绕市委
<正> 红霉素在临床上已广泛应用,但在临床应用时常常由于与其它药物的不合理配伍,而导致疗效降低或出现毒副作用。现就红霉素在配伍中应注意的若干问题加以综述,供临床参考。
【正】郑政文[2010]277号二○一○年十月二十一日各县(市、区)人民政府,市人民政府各部门,各有关单位:2009年,我市各级、各部门、各有关单位和广大决策研究工作者,紧紧围绕市
<中华人民共和国行政许可法>是规范政府共同行为的一部重要法律(以下简称<行政许可法>),检验检疫实施的出口商品质量许可证和出口食品企业卫生注册登记制度(以下简称两证管理