编辑配置文件(在新选项卡中打开) 马蒂亚斯·布鲁姆 合著者距离 作者ID: 蓝鲸 发布日期: 马蒂亚斯·布鲁姆 外部链接: MGP公司 已编制索引的文档: 11出版物自1997年起 2作为编辑的贡献 合著者: 10位合著者具有13联合出版物 327位合作作者 全部的 前5名合著者 0 单作者的 4 阿卡尔(Umut A.Acar)。 三 阿马尔·艾哈迈德 2 雅各布·多纳姆 2 大卫·艾伦·麦卡利斯特 2 德国维达尔 1 安德鲁·W·阿佩尔。 1 Chae,Wonseok先生 1 德里克·德雷尔(Derek R.Dreyer)。 1 罗伯特·布鲁斯·芬德勒 1 直纪小林 系列 2 函数编程杂志 1 理论计算机科学 1 计算机科学课堂讲稿 领域 13 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用36中的次27文件 引用人▼ 年份▼ 通过多语言语义提供对等的CPS翻译。 Zbl 1323.68088号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 8 2011 以投影对的形式收缩。 Zbl 1185.68193号 罗伯特·布鲁斯·芬德勒;马蒂亚斯·布鲁姆 6 2006 健全完整的合同模式。 Zbl 1122.68019号 马蒂亚斯·布鲁姆;大卫·麦卡利斯特 6 2006 类型闭合转换保持了观测等价性。 Zbl 1323.68350号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 强制自调整计算。 Zbl 1295.68075号 阿卡尔(Umut A.Acar)。;阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 一个健全(完整)的合同模型。 Zbl 1323.68353号 马蒂亚斯·布鲁姆;大卫·麦卡利斯特 2 2004 模块化程序的主要类型方案。 Zbl 1187.68149号 德雷克·德雷尔;马蒂亚斯·布鲁姆 2 2007 具有一流案例的可扩展编程。 兹比尔1321.68138 马蒂亚斯·布鲁姆;阿卡尔(Umut A.Acar)。;Chae,Wonseok先生 1 2006 自调整计算的一致语义。 Zbl 1187.68145号 阿卡尔(Umut A.Acar)。;马蒂亚斯·布鲁姆;雅各布·多纳姆 1 2007 一种通过多语言语义实现的保留等价性的CPS翻译。 Zbl 1323.68088号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 8 2011 类型闭合转换保持了观测等价性。 Zbl 1323.68350号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 强制自调整计算。 Zbl 1295.68075号 阿卡尔(Umut A.Acar)。;阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 模块化程序的主要类型方案。 Zbl 1187.68149号 德雷克·德雷尔;马蒂亚斯·布鲁姆 2 2007 自调整计算的一致语义。 Zbl 1187.68145号 阿卡尔(Umut A.Acar)。;马蒂亚斯·布鲁姆;雅各布·多纳姆 1 2007 以投影对的形式收缩。 Zbl 1185.68193号 罗伯特·布鲁斯·芬德勒;马蒂亚斯·布鲁姆 6 2006 健全完整的合同模式。 Zbl 1122.68019号 马蒂亚斯·布鲁姆;大卫·麦卡利斯特 6 2006 具有一流案例的可扩展编程。 Zbl 1321.68138号 马蒂亚斯·布鲁姆;阿卡尔(Umut A.Acar)。;Chae,Wonseok先生 1 2006 一个健全(完整)的合同模型。 Zbl 1323.68353号 马蒂亚斯·布鲁姆;大卫·麦卡利斯特 2 2004 所有引用出版物 前5名被引用出版物 全部的 前5名60位作者引用 4 斯特凡·韦尔 三 彼得·蒂曼。 2 阿马尔·艾哈迈德 2 拉尔斯·比克达尔 2 萨缪尔·布鲁 2 罗伊·克罗。 2 马库斯·德根 2 尼尔·加尼 2 伊莎贝拉·马斯特罗埃尼 2 弗雷德里克·诺德瓦尔·福斯伯格 2 费德里科·奥尔萨尼戈 2 马丁·苏尔兹曼 2 斯蒂芬妮·威里奇 1 卡明·阿巴特 1 阿卡尔(Umut A.Acar)。 1 哈米达桑·艾哈迈德。 1 玛丽亚·阿尔普特 1 Joao Alpuim 1 黛米斯·巴利斯 1 威廉·鲍曼。 1 Busi,Matteo公司 1 詹姆斯·切尼 1 克拉克、戴夫 1 扎伊娜·达盖伊 1 多米尼克·德夫里塞 1 理查德·艾森伯格。 1 马提亚斯·费莱森 1 科马克·弗拉纳根 1 弗朗西斯科·弗雷奇纳 1 丹·弗鲁明 1 奥菲克·吉拉 1 迈克尔·杜鲁门·古德里奇 1 迈克尔·D·格林伯格。 1 大卫·赫尔曼 1 Paulette Koronkevich 1 罗伯特·克雷伯斯 1 泽维尔·勒罗伊 1 尼尔·米切尔 1 卡梅隆·莫伊 1 约阿希姆·尼伦 1 布鲁诺·C·d·S·奥利维拉。 1 马可·帕特里格纳尼 1 西蒙·琼斯(Simon L.Peyton Jones)。 1 本杰明·皮尔斯。 1 拉蒙·拉科夫 1 安德烈亚斯·罗斯伯格 1 大卫·萨贝尔 1 阿穆尔·萨布里 1 朱莉娅·萨皮娜 1 曼弗雷德·施密特·沙乌 1 施温哈默(Jan Schwinghammer) 1 史志远 1 杰里米·西克。 1 Lau Skorstengaard 1 剑,卡梅隆 1 罗伯特·恩德雷·塔尔扬 1 Tobin Hochstadt,山姆 1 阿伦·汤姆 1 斯泰利奥斯·赞帕斯 1 菲利普·李·沃德勒 全部的 前5名8篇连载文章中引用 9 函数编程杂志 三 高阶和符号计算 2 计算机科学中的数学结构 1 理论计算机科学 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 1 程序设计中的逻辑与代数方法杂志 在3个字段中引用 27 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文