布鲁斯·杜巴
人员信息
优化列表
1990 – 1999
1999 【c8】 克里希纳穆西神社 , 马提亚斯·费莱森 , 布鲁斯·杜巴 :
从宏到可重用生成编程。 通用控制系统 1999 : 105-120 1993 [注2] 罗伯·哈波 , 布鲁斯·杜巴 , 大卫·B·麦昆 :
在ML中键入一级连续体。 J.功能。 程序。 三 ( 4 ) : 465-484 ( 1993 ) [c7] 科马克·弗拉纳根 , 阿姆尔·萨布里 , 布鲁斯·杜巴 , 马提亚斯·费莱森 :
用连续体编译的本质。 PLDI公司 1993 : 237-247 【c6】 科马克·弗拉纳根 , Amr Sabry公司 , 布鲁斯·杜巴 , 马提亚斯·费莱森 :
继续编译的本质(具有回顾性)。 最佳PLDI 1993 : 502-514 1991 【c5】 约翰·盖特利 , 布鲁斯·杜巴 :
Call-by-Value组合逻辑和Lambda-Value微积分。 MFPS公司 1991 : 41-53 【c4】 布鲁斯·杜巴 , 罗伯·哈波 , 大卫·B·麦昆 :
在ML中键入一级连续体。 府绸 1991 : 163-173
1980 – 1989
1988 【c3】 马提亚斯·费莱森 , 米切尔·旺德 , 丹尼尔·弗里德曼 , 布鲁斯·杜巴 :
抽象连续体:处理跳远的数学语义。 LISP与函数编程 1988 : 52-62 1987 [j1] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 布鲁斯·杜巴 :
顺序控制的句法理论。 西奥。 计算。 科学。 52 : 205-237 ( 1987 ) 1986 【c2】 尤金·科尔贝克 , 丹尼尔·弗里德曼 , 马提亚斯·费莱森 , 布鲁斯·杜巴 :
卫生宏观扩张。 LISP与函数编程 1986 : 151-161 【c1】 马提亚斯·费莱森 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 布鲁斯·杜巴 :
继续推理。 低收入国家 1986 : 131-141