×
作者ID: 哈蒙德·凯文“Hammond,Kevin”最近发表的zbMATH文章
发布日期: 凯文·哈蒙德;K·哈蒙德。
外部链接: ORCID公司
编入索引的文档: 23出版物自1988年起
3作为编辑的贡献
合著者: 26位合著者具有16联合出版物
267位合作作者
全部的 前5名

合著者

3 单作者的
5 汉斯·沃尔夫冈·洛伊德尔
5 菲尔·特林德。
5 佩德罗·瓦康塞洛斯。
4 马里奥弗洛里多
4 斯特芬乔斯特
3 埃德温·布雷迪(Edwin C.Brady)。
2 彼得·霍恩。
2 奥列克桑德尔·科诺瓦洛夫
2 斯蒂芬·A·林顿。
2 格雷格·迈克尔森
2 鲁泽蒙德,丹
2 雨果·R·西蒙斯。
1 史蒂文·阿德里安森
1 Al Zain,A.D。
1 阿卜杜拉·扎因
1 克莱姆·贝克·芬奇
1 米哈伊尔·巴拉什
1 亚历山大·E·I·布朗利。
1 大卫·卡斯特罗
1 詹姆斯·查普曼(James T.E.Chapman)。
1 尼尔·J·戴维斯。
1 巴勃罗·加西亚·桑切斯
1 塞耶德·侯赛因·海里
1 马格尼·哈夫雷恩
1 克里斯托夫·阿尔敏·赫尔曼
1 马丁·霍夫曼
1 Susumu横口
1 科林·约翰逊。
1 艾哈迈德·凯里
1 乌尔里克·克鲁西克
1 福斯蒂纳·克劳伊克
1 丽塔·勒根
1 胡安·朱利安(Juan Julián Merelo)
1 迈克尔森,G.J。
1 莱安德罗·L·明库。
1 约翰·T·奥唐纳。
1 恩德·奥兹坎
1 吉赛尔·帕帕。
1 佩顿·琼斯(Payton Jones,S.L.)。
1 里卡多·佩纳
1 斯蒂芬·普里贝
1 阿拉巴马州雷邦。J。
1 费尔南多·鲁比奥
1 帕特里克·M·桑森。
1 萨卡,苏斯米特
1 诺曼·斯凯夫
1 肯尼思·索伦森
1 杰里·斯旺
1 彼得·汤普森(Peter W.Thompson)。
1 戴维·特纳(David N.Turner)。
1 彼得·范罗伊
1 沃·斯特凡
1 马库斯·瓦格纳
1 大卫·R·怀特。

按年份列出的出版物

zbMATH Open中包含的引文

15出版物有被引用51中的次38文件 引用人 年份
高阶程序定量资源使用的静态确定。 Zbl 1312.68039号
斯特芬乔斯特;凯文·哈蒙德;汉斯·沃尔夫冈·洛伊德尔;马丁·霍夫曼
13
2010
算法+策略=并行。 Zbl 0933.68033号
P.W.特林德。;哈蒙德,K。;H.-W.罗伊德。;佩顿·琼斯(Payton Jones,S.L.)。
12
1998
推导递归、多态和高阶函数程序的成本方程。 Zbl 1108.68356号
佩德罗·瓦康塞洛斯。;凯文·哈蒙德
8
2004
对数伽马残差的秩回归。 Zbl 0653.62020号
史密斯,S.P。;哈蒙德,K。
6
1988
惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号
斯特芬乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德
6
2017
惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号
佩德罗·瓦康塞洛斯;斯特芬乔斯特;马里奥弗洛里多;凯文·哈蒙德
4
2015
并行函数编程的研究方向。 Zbl 0940.68022号
2
1999
休谟的动态特性:一种基于功能的并发语言,具有有限的时间和空间行为。 Zbl 0987.68906号
凯文·哈蒙德
2
2001
惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号
西蒙,雨果;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬乔斯特;凯文·哈蒙德
2
2012
“大范围”的元启发式。 Zbl 1487.90651号
杰里·斯旺;史蒂文·阿德里安森;亚历山大·E·I·布朗利。;凯文·哈蒙德;科林·约翰逊。;艾哈迈德·凯里;福斯蒂纳·克劳伊克;梅雷洛,J.J。;莱安德罗·L·明库。;恩德·奥兹坎;吉赛尔·巴帕。;巴勃罗·加西亚·桑切斯;肯尼思·索伦森;沃·斯特凡;马库斯·瓦格纳;大卫·R·怀特。
2
2022
使用交集类型进行高阶多态功能程序的成本分析。 Zbl 1178.68139号
雨果·R·西蒙斯。;凯文·哈蒙德;马里奥弗洛里多;佩德罗·瓦康塞洛斯
2
2007
农场、管道、溪流和重新造林:利用类型和植物形态对结构化并行过程进行推理。 Zbl 1361.68061号
大卫·卡斯特罗;凯文·哈蒙德;萨卡,苏斯米特
1
2016
比较并行函数语言:编程和性能。 Zbl 1074.68541号
H.-W.罗伊德。;F.鲁比奥。;Scaife,N。;K·哈蒙德。;Horiguchi,S。;美国克鲁西克。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;Rebón,Á。J。;P.W.特林德。
1
2003
使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 兹比尔1253.68371
林顿,S。;K·哈蒙德。;科诺瓦洛夫,A。;C.布朗。;P.W.特林德。;H.-W.罗伊德。;霍恩,P。;D.鲁泽蒙德。
1
2013
利用纯函数编程获得有限资源行为:休谟方法。 Zbl 1156.68332号
凯文·哈蒙德
1
2006
“大范围”的元启发式。 Zbl 1487.90651号
杰里·斯旺;史蒂文·阿德里安森;亚历山大·E·I·布朗利。;凯文·哈蒙德;科林·约翰逊。;艾哈迈德·凯里;福斯蒂纳·克劳伊克;梅雷洛,J.J。;莱安德罗·L·明库。;恩德·奥兹坎;吉赛尔·巴帕。;巴勃罗·加西亚·桑切斯;肯尼思·索伦森;沃·斯特凡;马库斯·瓦格纳;大卫·R·怀特。
2
2022
惰性函数语言的基于类型的成本分析。 Zbl 1409.68067号
斯特芬乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德
6
2017
农场、管道、溪流和重新造林:关于使用类型和亚纯性的结构化并行过程的推理。 Zbl 1361.68061号
大卫·卡斯特罗;凯文·哈蒙德;萨卡,苏斯米特
1
2016
惰性函数语言中基于类型的共递归分配分析。 Zbl 1335.68035号
佩德罗·瓦康塞洛斯;斯特芬乔斯特;马里奥弗洛里多;凯文·哈蒙德
4
2015
使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 Zbl 1253.68371号
林顿,S。;K·哈蒙德。;科诺瓦洛夫,A。;C.布朗。;P.W.特林德。;H.-W.罗伊德。;霍恩,P。;D.鲁泽蒙德。
1
2013
惰性函数程序动态内存分配的自动摊销分析。 Zbl 1291.68027号
雨果,西蒙斯;佩德罗·瓦康塞洛斯;马里奥弗洛里多;斯特芬乔斯特;凯文·哈蒙德
2
2012
高阶程序定量资源使用的静态确定。 兹比尔1312.68039
斯特芬乔斯特;凯文·哈蒙德;汉斯·沃尔夫冈·洛伊德尔;马丁·霍夫曼
13
2010
使用交集类型进行高阶多态功能程序的成本分析。 Zbl 1178.68139号
雨果·R·西蒙斯。;凯文·哈蒙德;马里奥弗洛里多;佩德罗·瓦康塞洛斯
2
2007
利用纯函数编程来获得有界资源行为:休姆方法。 Zbl 1156.68332号
凯文·哈蒙德
1
2006
推导递归、多态和高阶函数程序的成本方程。 Zbl 1108.68356号
佩德罗·瓦康塞洛斯。;凯文·哈蒙德
8
2004
比较并行函数语言:编程和性能。 Zbl 1074.68541号
H.-W.罗伊德。;F.鲁比奥。;Scaife,N。;K·哈蒙德。;Horiguchi,S。;美国克鲁西克。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;阿拉巴马州雷邦。J。;P.W.特林德。
1
2003
休谟的动态特性:一种基于功能的并发语言,具有有限的时间和空间行为。 兹伯利0987.68906
凯文·哈蒙德
2
2001
并行函数编程的研究方向。 Zbl 0940.68022号
2
1999
算法+策略=并行。 Zbl 0933.68033号
P.W.特林德。;K·哈蒙德。;H.-W.罗伊德。;佩顿·琼斯(Payton Jones,S.L.)。
12
1998
对数伽马残差的秩回归。 Zbl 0653.62020号
史密斯,S.P。;K·哈蒙德。
6
1988
全部的 前5名

90位作者引用

3 詹·菲利普·霍夫曼
3 雷尼,迈克
3 马克·范·埃克伦
2 艾尔维拉·阿尔伯特
2 帕特里克·贝洛特
2 乌戈·达尔拉戈
2 Fluet,Matthew T。
2 萨米尔·根奈姆
2 亚历克西斯·盖塞伦
2 劳尔·古铁雷斯
2 凯文·哈蒙德
2 Horstmeyer,托马斯
2 斯特芬乔斯特
2 迪莉娅·凯斯纳
2 洛伦兹·勒特盖布
2 丽塔·勒根
2 格雷格·迈克尔森
2 乔治·莫瑟
2 托比亚斯·尼普科
2 约翰·H·Reppy。
2 亚当·肖
2 弗洛里安·祖勒格
1 阿卡尔(Umut A.Acar)。
1 贝尼亚米·阿卡托利
1 彼得·阿奇顿
1 史蒂文·阿德里安森
1 桑德拉·阿尔维斯
1 Bergström,Lars B。
1 乔斯特·伯特霍尔德
1 盖伊·E·布莱洛赫。
1 布林科普,豪克
1 亚历山大·E·I·布朗利。
1 亚瑟·查古埃罗
1 诺曼·丹纳
1 马尔滕岛德莫尔
1 迪特尔,M。
1 马里奥弗洛里多
1 约翰·加拉赫(John P.Gallagher)。
1 巴勃罗·加西亚·桑切斯
1 菲利普·吉本斯。
1 圣菲省格拉汉·伦格兰德
1 古德蒙德·格罗夫
1 雷米·海默尔
1 埃马纽埃尔·海恩里
1 罗伯特·哈珀
1 曼努埃尔五世(Manuel V.Hermenegildo)。
1 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯
1 马丁·霍夫曼
1 帕特里夏·约翰
1 科林·约翰逊。
1 大卫·M·卡恩。
1 艾哈迈德·凯里
1 马克西米利亚诺·克莱门
1 彼得·科普曼
1 福斯蒂纳·克劳伊克
1 丹尼尔·李卡塔(Daniel R.Licata)。
1 本杰明·利希特曼
1 乌默·利卡特
1 佩德罗·洛佩兹·加西亚
1 恩里克·马丁·马汀
1 胡安·朱利安(Juan Julián Merelo)
1 曼弗雷德·米尼米尔
1 莱安德罗·L·明库。
1 宫本雅司
1 黑山,曼努埃尔
1 马可·T·莫拉赞。
1 Kenji Nakahira
1 大卫·奥布瓦勒
1 尤兰达奥尔特加购物中心
1 恩德·奥兹坎
1 吉赛尔·帕帕。
1 罗曼·佩乔
1 里卡多·佩纳
1 芭芭拉·佩蒂特
1 莱纳斯·普拉斯梅耶
1 大卫·萨贝尔
1 Schmidt Schauß,曼弗雷德
1 克拉拉·塞古拉
1 奥哈·什卡拉夫斯卡
1 肯尼思·索伦森
1 丹尼尔·斯潘霍尔
1 杰里·斯旺
1 罗恩·范凯斯特伦
1 佩德罗·瓦康塞洛斯。
1 丹尼尔·利马·文图拉
1 Janis Voigtlander公司
1 沃·斯特凡
1 马库斯·瓦格纳
1 大卫·R·怀特。
1 伊恩·泽尼

按年份列出的引文