韩旭 0004
人员信息
附属: 北京大学,中国北京
其他同名人员
其他同名人员
徐涵 — 消歧页 薛涵 (又名:韩雪) — 消歧页 徐涵 0001 -美国康涅狄格大学电气与计算机工程学院 徐涵 0006 -科罗拉多大学博尔德分校,科罗拉多州,美国 徐涵 0007 -清华大学计算机科学与技术系 徐涵 0009 -北卡罗来纳大学教堂山分校(University of North Carolina at Chapel Hill,UNC,Department of Computer Science,USA) 徐涵 0011 — 河北工业大学机械工程学院电气设备可靠性与智能国家重点实验室,天津 (还有1个) 徐涵 0012 -塔夫茨大学计算机科学系,美国马萨诸塞州梅德福德 徐涵 0014 -加州大学洛杉矶分校土木与环境工程系 徐一涵 显示所有相似的名称
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [注2] 韩旭 , 黄雪晶 , 布鲁诺·C·d·S·奥利维拉 :
产生类型差异:将交叉点类型的减法作为广义记录运算。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 893-920 ( 2023 ) 2022 [j1] 安东范 , 黄雪晶 , 韩旭 , 孙耀珠 , 布鲁诺·C·d·S·奥利维拉 :
组合编程的直接基础(工件)。 Dagstuhl Artifacts爵士。 8 ( 2 ) : 04:1-04:3 ( 2022 ) 【c1】 安东范 , 黄雪晶 , 韩旭 , 孙耀珠 , 布鲁诺·C·d·S·奥利维拉 :
组合编程的直接基础。 ECOOP公司 2022 : 18:1-18:28 [i1] 安东范 , 黄雪晶 , 韩旭 , 孙耀珠 , 布鲁诺·C·d·S·奥利维拉 :
组合编程的直接基础。 CoRR公司 abs/2205.06150 ( 2022 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)