论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 吉林大学学报(理学版)期刊 \
Monad 的反射性
Monad 的反射性
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射操作满足反射的条件. 基于上述讨论, 可以很容易地构造出具有反射性的Monad程序.
推荐文章
一种基于Monad反射语言解释器的构造
计算反射
Monad
元层
函数式语言
形式化
一种基于组合Monad的纯函数式通道系统操作
纯函数式语言
Monad
一种基于组合Monad的纯函数式Lazy I/O操作
纯函数式语言
Monad
lazy I/O
脑干反射对脑性瘫痪的诊断价值探讨
脑性瘫痪
脑干反射
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Monad 的反射性 | ||
| 来源期刊 | 吉林大学学报(理学版) | 学科 | 工学 |
| 关键词 | 反射 Monad 元层 接续 | ||
| 年，卷（期） | 2004,（2） | 所属期刊栏目 | 计算机科学 |
| 研究方向 | 页码范围 | 195-199 | |
| 页数 | 5页 | 分类号 | TP301 |
| 字数 | 3680字 | 语种 | 中文 |
| DOI | 10.3321/j.issn:1671-5489.2004.02.011 | ||
五维指标
引文网络
引文网络
二级参考文献 (1)
共引文献 (2)
参考文献 (3)
节点文献
引证文献 (5)
同被引文献 (17)
二级引证文献 (7)
1992(1)
- 参考文献（1）
- 二级参考文献（0）
1997(2)
- 参考文献（1）
- 二级参考文献（1）
2003(1)
- 参考文献（1）
- 二级参考文献（0）
2004(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2005(1)
- 引证文献（1）
- 二级引证文献（0）
2006(1)
- 引证文献（0）
- 二级引证文献（1）
2008(1)
- 引证文献（0）
- 二级引证文献（1）
2009(2)
- 引证文献（1）
- 二级引证文献（1）
2010(1)
- 引证文献（1）
- 二级引证文献（0）
2012(1)
- 引证文献（0）
- 二级引证文献（1）
2013(1)
- 引证文献（1）
- 二级引证文献（0）
2014(1)
- 引证文献（0）
- 二级引证文献（1）
2015(1)
- 引证文献（0）
- 二级引证文献（1）
2016(2)
- 引证文献（1）
- 二级引证文献（1）
研究主题发展历程
节点文献
反射
Monad
元层
接续
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
吉林大学学报(理学版)
主办单位：
吉林大学
出版周期：
双月刊
ISSN：
1671-5489
CN：
22-1340/O
开本：
大16开
出版地：
长春市南湖大路5372号
邮发代号：
12-19
创刊时间：
1955
语种：
chi
出版文献量（篇）
4812
总下载数（次）
6
总被引数（次）
24333
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
吉林大学学报(理学版)2022
吉林大学学报(理学版)2021
吉林大学学报(理学版)2020
吉林大学学报(理学版)2019
吉林大学学报(理学版)2018
吉林大学学报(理学版)2017
吉林大学学报(理学版)2016
吉林大学学报(理学版)2015
吉林大学学报(理学版)2014
吉林大学学报(理学版)2013
吉林大学学报(理学版)2012
吉林大学学报(理学版)2011
吉林大学学报(理学版)2010
吉林大学学报(理学版)2009
吉林大学学报(理学版)2008
吉林大学学报(理学版)2007
吉林大学学报(理学版)2006
吉林大学学报(理学版)2005
吉林大学学报(理学版)2004
吉林大学学报(理学版)2003
吉林大学学报(理学版)2002
吉林大学学报(理学版)2001
吉林大学学报(理学版)2000
吉林大学学报(理学版)1999
