邵中,男,中国科大“大师讲席”教授。1983年进入中国科学技术大学少年班,1988年毕业于计算机系,获计算机科学学士学位;1994年毕业于普林斯顿大学,获计算机科学博士学位。1994年起至今在耶鲁大学计算机系任教,2003年起任耶鲁大学教授。现任中科大-耶鲁高可信软件联合研究中心主任。是学术界和工业界科研项目中广泛使用的SML/NJ函数式编程语言的编译器的主要设计和实现者之一,其中有影响的研究成果包括基于后续传递风格的编译方法等多项成果。研究和开发了保类型的编译器基础构造FLINT,其中最显著的贡献是用高阶lambda演算对多种差异明显的源语言的类型系统进行编码,使得类型检查可以在编译的任何阶...
网友正在查
卢黎是什么意思 mediatorial是什么意思 深圳市穗彩科技开发有限公司是什么意思 頭蠟是什么意思 叶藻是什么意思 fantasista是什么意思 黃郡是什么意思 刑鼎是什么意思 雲弋是什么意思 邵中是什么意思
汉语词典收录了近50万个词语,包含词语的解释、例句和翻译,词库仍在不断更新中。
词典数据主要来源于新华字典,以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语,用于补充词库,方便大家查询。