×
作者ID: 肯尼迪·安德鲁-j最近由“肯尼迪,安德鲁·J。”撰写的zbMATH文章
发布日期: 安德鲁·肯尼迪;安德鲁·肯尼迪。
主页: https://www.linkedin.com/in/andrew-kennedy-3324287/
外部链接: MGP公司
已编制索引的文档: 19出版物自1996年起
合著者: 14合著者具有14联合出版物
237位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

13出版物有被引用60中的次56文件 引用人 年份
Coq中的一些领域理论和指称语义。 Zbl 1252.68248号
尼克·本顿;安德鲁·肯尼迪;卡斯滕·瓦明
9
2009
继续编译,继续。 Zbl 1291.68124号
安德鲁·肯尼迪
9
2007
阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格
7
2006
Coq中的强类型术语表示。 Zbl 1269.68041号
尼克·本顿;中基尔胡尔;安德鲁·肯尼迪。;康纳·麦克布莱德
7
2012
单数、效果和变换。 Zbl 0958.68046号
尼克·本顿;安德鲁·肯尼迪
5
1999
异常语法。 Zbl 0994.68030号
尼克·本顿;安德鲁·肯尼迪
5
2001
将标准ML编译为Java字节码。 Zbl 1428.68096号
尼克·本顿;安德鲁·肯尼迪;乔治·罗素
5
1999
低级代码的高级分离逻辑。 Zbl 1301.68101号
乔纳斯·B·延森。;尼克·本顿;安德鲁·肯尼迪
5
2013
Pickler组合器。 Zbl 1063.68035号
安德鲁·肯尼迪。
4
2004
代数索引类型的抽象和不变性。 Zbl 1301.68183号
罗伯特·艾奇;帕特里夏·约翰;安德鲁·肯尼迪
2
2013
无泪中介语工作:SML与Java的融合。 兹比尔1344.68047
尼克·本顿;安德鲁·肯尼迪
1
1999
功能珍珠:一点一滴都很重要。 Zbl 1323.68172号
Vytiniotis,迪米特里奥斯;安德鲁·肯尼迪。
1
2010
的泛型形式化。NET公共语言运行库。 兹比尔1325.68053
于大川;安德鲁·肯尼迪;唐·赛姆
1
2004
低级代码的高级分离逻辑。 Zbl 1301.68101号
乔纳斯·B·延森。;尼克·本顿;安德鲁·肯尼迪
5
2013
代数索引类型的抽象和不变性。 Zbl 1301.68183号
罗伯特·艾奇;帕特里夏·约翰;安德鲁·肯尼迪
2
2013
Coq中的强类型术语表示。 Zbl 1269.68041号
尼克·本顿;中基尔胡尔;安德鲁·肯尼迪。;康纳·麦克布莱德
7
2012
功能珍珠:一点一滴都很重要。 Zbl 1323.68172号
Vytiniotis,迪米特里奥斯;安德鲁·肯尼迪。
1
2010
Coq中的一些领域理论和指称语义。 Zbl 1252.68248号
尼克·本顿;安德鲁·肯尼迪;卡斯滕·瓦明
9
2009
编译(续)。 Zbl 1291.68124号
安德鲁·肯尼迪
9
2007
阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格
7
2006
Pickler组合器。 Zbl 1063.68035号
安德鲁·肯尼迪。
4
2004
的泛型形式化。NET公共语言运行库。 Zbl 1325.68053号
于大川;安德鲁·肯尼迪;唐·赛姆
1
2004
异常语法。 Zbl 0994.68030号
尼克·本顿;安德鲁·肯尼迪
5
2001
单数、效果和变换。 Zbl 0958.68046号
尼克·本顿;安德鲁·肯尼迪
5
1999
将标准ML编译为Java字节码。 Zbl 1428.68096号
尼克·本顿;安德鲁·肯尼迪;乔治·罗素
5
1999
无泪中介语工作:SML与Java的融合。 Zbl 1344.68047号
尼克·本顿;安德鲁·肯尼迪
1
1999
全部的 前5名

111位作者引用

4 罗伯特·艾奇
4 碧姬·品特卡
尼克·本顿
安德鲁·肯尼迪。
保罗·布莱恩·利维
萨姆·林德利
康诺·托马斯·麦克布莱德
2 纪尧姆·阿拉伊斯
2 拉尔斯·比克达尔
2 德根,马库斯
2 乌戈·德利古罗
2 丹尼尔·希勒斯特罗姆
2 马丁·霍夫曼
2 奥哈德·卡玛
2 松崎隆彦
2 阿尔贝托·莫米利亚诺
2 Vivek Nigam先生
2 马尔科·帕维奥蒂
2 弗洛里安·拉贝
2 彼得·蒂曼。
2 里卡多·特雷格里亚
2 斯特凡·韦尔
1 安德烈亚斯·阿贝尔(Andreas M.Abel)。
1 贝尼亚米·阿卡托利
1 迈克尔·D·亚当斯。
1 丹尼尔·艾哈曼
1 阿马尔·艾哈迈德
1 托尔斯滕·阿滕柯奇
1 阿奈、平子
1 Noriko H.Arai。
1 安德烈·鲍尔
1 杰斯珀·本特森
1 佩特尔·贝雷茨基
1 布兰奇,桑德琳
1 威廉·鲍曼。
1 Brachthäuser,乔纳森·伊曼纽尔
1 安德鲁·凯夫
1 詹姆斯·查普曼(James T.E.Chapman)。
1 亚瑟·查古埃罗
1 克拉克、戴夫
1 泽维尔·克莱尔
1 丹尼尔森、尼尔斯·安德斯
1 奥尔内拉·达达
1 扎伊娜·达盖伊
1 汤姆·J·德容。
1 费雷拉,Francisco H.G。
1 马塞洛·菲奥雷(Marcelo P.Fiore)。
1 西蒙·福勒
1 Anthony C.J.福克斯。
1 富士达,富城府
1 藤崎隆彦
1 杰伦、布拉姆
1 托马斯·吉尔雷
1 谢尔盖·冈查洛夫
1 菲利普·哈勒
1 Aliya Hameer
1 霍罗扎尔,富尔亚
1 达尼尔·霍帕西
1 布赖恩·霍夫曼
1 中基尔胡尔
1 伊瓦内、希德诺
1 吉勒姆·贾伯
1 Munehiro小林
1 直纪小林
1 Kokke,温
1 Paulette Koronkevich
1 瓦西里欧斯·库塔瓦斯
1 尼古拉·克劳斯
1 朱玛·库多
1 文森特·拉波特
1 马蒂厄·莱梅尔
1 泽维尔·勒罗伊
1 Hidehiko Masuhara
1 松田和川
1 麦克德莫特,迪伦
1 詹姆斯·麦金纳
1 可能吧,马修
1 希瑟·米勒
1 莫格尔贝里,拉斯穆斯·埃杰勒斯
1 J.Garrett莫里斯
1 格雷格·莫里塞特
1 穆勒,诺曼
1 奥利维尔·妮可
1 诺里斯,迈克尔
1 克劳斯·奥斯特曼
1 卢卡·保里尼
1 马可·帕特里格纳尼
1 毛罗·皮科洛
1 大卫·皮哈迪
1 弗朗索瓦·波蒂埃
1 普雷特纳,马蒂亚
1 拉蒙·拉科夫
1 克里斯托夫·劳赫
1 美国雷迪。
1 对手,泽维尔
1 卢卡·罗维斯
1 史蒂文·施费尔
1 卢茨·施罗德
1 菲利普·舒斯特
1 Ayumi Shinohara
…还有11位作者

按年份列出的引文