搜索到 篇“ MONAD “的相关文章

相关作者

袁华强
作品数:119被引量:276H指数:9
供职机构:东莞理工学院
研究主题:纯函数式语言 MONAD 支持向量机 云计算 磁阻传感器
孙永强
作品数:195被引量:308H指数:8
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:程序设计 面向对象 函数式语言 程序语言 计算机网络
吕江花
作品数:83被引量:88H指数:5
供职机构:北京航空航天大学
研究主题:航天器 MONAD 形式化 自动化测试 大数据量
金成植
作品数:51被引量:72H指数:4
供职机构:吉林大学计算机科学与技术学院
研究主题:函数式语言 程序语言 部分求值 程序设计 MONAD
陈东立
作品数:60被引量:96H指数:8
供职机构:西安建筑科技大学
研究主题:单子 刻画 拓扑空间 LOEB空间 拓扑