赵荣彩 袁伟 庞建民 黄文集 王怀民 吕品 喻刚 陆朝俊 胡振江 夏心杰 梅宏 顾保磊 杨继锋 邵志清 刘磊 林惠民 张荣华 董韫美 蔡家楣 金成植 孙永强

混合语言 延迟对象 SN性 类型系统 八皇后 高阶函数 递归函数 类型检查 列表内涵 语言S 多态 多步向前驱动算法 递归 CPS Haskell 接续指称语义 程序设计 优化 基本特征 网络应用程序 CGI 事件处理器 交互式程序 程序延续 转换规则 代数规约语言 测试 逻辑单元 操作语义 并行处理