×
作者ID: 莫里塞特.greg“Morrisett,Greg”最近发表的zbMATH文章
发布日期: 格雷格·莫里塞特
外部链接: MGP公司·维基数据·数据库许可证
已编制索引的文档: 35出版物自1997年起
1进一步贡献
合著者: 24位合著者具有31份联合出版物
383位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

28出版物有被引用157中的次123文件 引用人 年份
勘误表为:“基于堆栈的类型化汇编语言”。 兹比尔1110.68361
格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克
21
2003
Ynot:命令式程序的依赖类型。 Zbl 1323.68142号
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔
18
2008
霍尔类型理论、多态性和分离。 Zbl 1155.68354号
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔
17
2008
高阶命令式程序的有效交互证明。 Zbl 1302.68087号
亚当·奇利帕拉;格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基
13
2009
类型错误语义中的内涵多态性。 兹比尔1040.68059
卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特
9
2002
霍尔类型理论中的多态性和分离。 Zbl 1321.68351号
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔
9
2006
别名类型。 Zbl 0971.68584号
弗雷德里克·史密斯;大卫·沃克;格雷格·莫里塞特
8
2000
走向一个经过验证的关系数据库管理系统。 Zbl 1312.68083号
格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基
7
2010
基于堆栈的类型化汇编语言。 Zbl 0998.68037号
格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克
6
2002
线性区域就是您所需要的全部。 Zbl 1178.68151号
马修·弗鲁特;格雷格·莫里塞特;阿马尔·艾哈迈德
5
2006
Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号
阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔
5
2007
非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号
Rasmus Lerchedahl彼得森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特
5
2008
Cyclone中的安全手动内存管理。 Zbl 1103.68031号
尼基尔·斯瓦米;迈克尔·希克斯;格雷格·莫里塞特;丹·格罗斯曼;吉姆·特雷弗
4
2006
\(L^3\):一种有位置的线性语言。 Zbl 1121.68021号
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特
4
2007
子结构状态的阶跃诱导模型。 Zbl 1302.68048号
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特
4
2005
递归数据结构的别名类型。 Zbl 0985.68007号
大卫·沃克;格雷格·莫里塞特
2001
\(\text{L}^{3}\):带位置的线性语言。 Zbl 1112.68341号
格雷格·莫里塞特;阿马尔·艾哈迈德;马修·弗莱特
2005
类型错误语义中的内涵多态性。 Zbl 1370.68046号
卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特
1997
一元区域。 Zbl 1122.68020号
马修·弗莱特;格雷格·莫里塞特
2
2006
机器码解码和编码的双向语法。 Zbl 1426.68069号
Tan、Gang;格雷格·莫里塞特
2
2018
使用I/O对命令式程序进行基于跟踪的验证。 Zbl 1215.68070号
格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基
2
2011
递归定义函数的类型闭包转换。(扩展摘要)。 Zbl 0925.68298号
格雷格·莫里塞特;罗伯特·哈珀
1
1997
可计算分布在概率程序语义中的应用。 Zbl 07311043号
Huang,Daniel黄;格雷格·莫里塞特;溅出物,Bas
1
2021
轻量级子结构类型的类型类。 Zbl 1477.68071号
爱德华·甘;杰西·托夫(Jesse A.Tov)。;格雷格·莫里塞特
1
2015
编程语言中的原理,一种语法证明技术。 Zbl 1345.68114号
史蒂夫·兹丹切维奇;格罗斯曼,丹;格雷格·莫里塞特
1
1999
可计算分布在概率编程语言语义中的应用。 Zbl 1335.68028号
丹尼尔·黄;格雷格·莫里塞特
1
2016
一元区域。 Zbl 1323.68112号
马修·弗莱特;格雷格·莫里塞特
1
2004
共享的机械化验证。 兹比尔1286.68321
格雷戈里·马莱查;格雷格·莫里塞特
1
2010
可计算分布在概率程序语义中的应用。 Zbl 07311043号
丹尼尔·黄;格雷格·莫里塞特;溅出物,Bas
1
2021
机器码解码和编码的双向语法。 Zbl 1426.68069号
Tan、Gang;格雷格·莫里塞特
2
2018
可计算分布在概率编程语言语义中的应用。 Zbl 1335.68028号
丹尼尔·黄;格雷格·莫里塞特
1
2016
轻量级子结构类型的类型类。 Zbl 1477.68071号
爱德华·甘;杰西·托夫(Jesse A.Tov)。;格雷格·莫里塞特
1
2015
使用I/O对命令式程序进行基于跟踪的验证。 Zbl 1215.68070号
格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基
2
2011
走向一个经过验证的关系数据库管理系统。 Zbl 1312.68083号
格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·维斯基
7
2010
共享的机械化验证。 Zbl 1286.68321号
格雷戈里·马莱查;格雷格·莫里塞特
1
2010
高阶命令式程序的有效交互证明。 Zbl 1302.68087号
亚当·奇利帕拉;格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基
13
2009
Ynot:命令式程序的依赖类型。 Zbl 1323.68142号
亚历山大·纳涅夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔
18
2008
霍尔类型理论、多态性和分离。 Zbl 1155.68354号
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔
17
2008
非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号
Rasmus Lerchedahl彼得森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特
5
2008
Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号
阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔
5
2007
\(L^3):具有位置的线性语言。 兹比尔1121.68021
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特
4
2007
霍尔类型理论中的多态性和分离。 Zbl 1321.68351号
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔
9
2006
线性区域就是您所需要的全部。 兹比尔1178.68151
马修·弗莱特;格雷格·莫里塞特;阿马尔·艾哈迈德
5
2006
Cyclone中的安全手动内存管理。 Zbl 1103.68031号
尼基尔·斯瓦米;迈克尔·希克斯;格雷格·莫里塞特;丹·格罗斯曼;吉姆·特雷弗
4
2006
一元区域。 Zbl 1122.68020号
马修·弗鲁特;格雷格·莫里塞特
2
2006
子结构状态的阶跃诱导模型。 Zbl 1302.68048号
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特
4
2005
\(\text{L}^{3}\):带位置的线性语言。 Zbl 1112.68341号
格雷格·莫里塞特;阿马尔·艾哈迈德;马修·弗莱特
2005
一元区域。 Zbl 1323.68112号
马修·弗莱特;格雷格·莫里塞特
1
2004
勘误表为:“基于堆栈的类型化汇编语言”。 Zbl 1110.68361号
格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克
21
2003
类型错误语义中的内涵多态性。 Zbl 1040.68059号
卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特
9
2002
基于堆栈的类型化汇编语言。 Zbl 0998.68037号
格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克
6
2002
递归数据结构的别名类型。 兹比尔0985.68007
大卫·沃克;格雷格·莫里塞特
2001
别名类型。 Zbl 0971.68584号
弗雷德里克·史密斯;大卫·沃克;格雷格·莫里塞特
8
2000
编程语言中的原理,一种语法证明技术。 Zbl 1345.68114号
史蒂夫·兹丹切维奇;丹·格罗斯曼;格雷格·莫里塞特
1
1999
类型错误语义中的内涵多态性。 兹比尔1370.68046
卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特
1997
递归定义函数的类型闭包转换。(扩展摘要)。 Zbl 0925.68298号
格雷格·莫里塞特;罗伯特·哈珀
1
1997
全部的 前5名

248位作者引用

8 拉尔斯·比克达尔
4 格雷格·莫里塞特
4 弗朗索瓦·波蒂埃
4 罗伊斯,伯恩哈德
纳撒尼尔·查尔顿
奥列格·基塞利约夫
阿列克桑达尔·纳内夫斯基
雅各布·塔姆斯堡
吉田、Nobuko
2 安德烈亚斯·阿贝尔(Andreas M.Abel)。
2 丹尼尔·艾哈曼
2 杰斯珀·本特森
2 亚瑟·查古埃罗
2 詹姆斯·切尼
2 皮埃尔·奇夫利埃
2 魏恩根·钦
2 卡尔·克里
2 埃德斯科·德弗里斯
2 董,袁
2 迪帕克·加格
2 维克多·戈麦斯。
2 纪尧姆·希特
2 本·霍斯福尔
2 Yukiyoshi县Kameyama
2 直纪小林
2 拉尔夫·拉梅尔
2 彼得·兰米奇
2 泽维尔·勒罗伊
2 托马斯·莱坦
2 格雷戈里·马莱查
2 黑山,曼努埃尔
2 玛格努斯·奥·米林。
2 多米尼克·A·乌节。
2 卢卡·帕多瓦尼
2 碧姬·品特卡
2 雷吉斯·贾纳斯,亚恩
2 克拉拉·塞古拉
2 菲利普·西奇科夫斯基
2 克里斯蒂安·斯特夫林
2 乔治·斯特鲁斯
2 沃特·斯威斯特拉
2 彼得·蒂曼。
1 阿马尔·艾哈迈德
1 艾尔维拉·阿尔伯特
1 纪尧姆·阿拉伊斯
1 Joao Alpuim
1 安徒生、克里斯托弗·贾斯特·阿恩达尔
1 安德鲁·W·阿佩尔。
1 阿拉斯代尔·阿姆斯特朗
1 大卫·阿斯皮纳尔
1 罗伯特·艾奇
1 文森特·巴拉特
1 David A.Basin。
1 Bidlingmaier,Martin E。
1 豪尔赫·布拉兹奎兹
1 布兰登·伯勒
1 克劳德·博尔杜克
1 维维亚娜·博诺
1 杰拉德·布多尔
1 威廉·鲍曼。
1 Brachthäuser,乔纳森·伊曼纽尔
1 Jörg Brauer
1 理查德·布贝尔
1 卢卡斯·布尔瓦恩
1 陈一云
1 安德鲁·科布
1 克里斯托弗·科尔比
1 特里斯坦·克罗拉德
1 瑞安·库佩普
1 蒂鲍特·达迪尼尔
1 阿努帕姆·达塔
1 克里斯蒂娜·大卫
1 罗伯特·多金斯
1 布里杰什·多戈尔
1 加布里埃尔·多斯·里斯
1 德里克·德雷尔(Derek R.Dreyer)。
1 多米尼克·达根
1 康斯坦丁·迪姆尼科夫
1 哈雷III伊德斯
1 勒文特·埃尔科克
1 弗洛里安·费索尔
1 冯新余
1 大流士·富
1 杰弗里·福斯特。
1 杰森·富兰克林
1 马可·加博阿迪
1 甘,爱德华
1 霍尔格·加斯特
1 Nadji Gauthier
1 艾娜·林·乔治斯
1 尼尔·加尼
1 谢尔盖·冈查洛夫
1 迈克尔·J·C·戈登。
1 去吧,马修
1 克莱门斯·格雷克
1 阿玛·盖诺
1 阿琼·古哈
1 郭瑜
1 克里斯蒂安·哈克
1 弗洛里安·哈夫特曼
…还有148位作者

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.