傅松
【姓名】 傅松
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 半合一,类型检测,程序设计语言,多态类型,合一子,合一问题,出型,转换式,函数式,自由出现,类型系统,求解机制,表达式,类型推理,完备性定理,计算机学报,知识推理,描述语言,类型表,约束出现,
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 0 17
中国期刊全文数据库    共找到1篇
[1]许满武，陆剑锋，戴劲雯，曾凡聪，傅松，杨冬.NUMLS中的多态类型检测[J]计算机学报.1996,(07)
更多