×
作者ID: 发射埋葬约翰最近由“Launchbury,John”撰写的zbMATH文章
发布日期: 约翰·朗奇伯里;J·朗奇伯里。
外部链接: MGP公司·维基数据·ID参考
编入索引的文档: 14出版物自1990年以来,包括1本书
合著者: 13合著者具有8份联合出版物
129位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

10出版物有被引用32中的次27文件 引用人 年份
隐式参数:具有静态类型的动态作用域。 Zbl 1323.68131号
杰弗里·刘易斯。;约翰·朗奇伯里;埃里克·梅杰尔;护罩,标记B。
7
2000
递归单数绑定。 Zbl 1321.68151号
勒文特·埃尔科克;约翰·朗奇伯里
7
2000
一元输入/输出的值递归语义。 Zbl 1011.68017号
勒文特·埃尔科克;约翰·朗奇伯里;安德鲁·莫兰
4
2002
在最终余代数中丰富的过程类别。 Zbl 0978.68101号
萨瓦·克里斯蒂奇;约翰·朗奇伯里;巴甫洛维奇,杜什科
4
2001
部分求值中的投影因子分解。 Zbl 0752.68055号
约翰·朗奇伯里
4
1991
安全多方计算中的高效可查找协议。 Zbl 1291.68051号
约翰·朗奇伯里;亚沃·迪亚奇奇。;杜布森,托马斯;安迪·亚当斯·莫拉
2
2012
通过部分预测表示需求。 Zbl 0870.68031号
约翰·朗奇伯里;盖布雷塞拉西·巴拉基
1
1996
颠倒抽象的解释。 兹伯利0810.68094
休斯,约翰;约翰·朗奇伯里
1
1994
基本微体系结构代数。 Zbl 1046.68603号
约翰·马修斯;约翰·朗奇伯里
1
1999
一元状态:公理化和类型安全。 兹比尔1369.68107
约翰·朗奇伯里;阿穆尔·萨布里
1
1997
安全多方计算中的高效可查找协议。 Zbl 1291.68051号
约翰·朗奇伯里;亚沃·迪亚奇奇。;托马斯·杜布森;安迪·亚当斯·莫拉
2
2012
一元输入/输出的值递归语义。 Zbl 1011.68017号
勒文特·埃尔科克;约翰·朗奇伯里;安德鲁·莫兰
4
2002
在最终余代数中丰富的过程类别。 Zbl 0978.68101号
萨瓦·克里斯蒂奇;约翰·朗奇伯里;巴甫洛维奇,杜什科
4
2001
隐式参数:静态类型的动态范围。 Zbl 1323.68131号
杰弗里·刘易斯。;约翰·朗奇伯里;埃里克·梅杰尔;护罩,标记B。
7
2000
递归单数绑定。 Zbl 1321.68151号
勒文特·埃尔科克;Launchbury,约翰
7
2000
基本微体系结构代数。 Zbl 1046.68603号
约翰·马修斯;约翰·朗奇伯里
1
1999
一元状态:公理化和类型安全。 Zbl 1369.68107号
Launchbury,约翰;阿穆尔·萨布里
1
1997
通过部分预测表示需求。 Zbl 0870.68031号
约翰·朗奇伯里;盖布雷塞拉西·巴拉基
1
1996
颠倒抽象的解释。 Zbl 0810.68094号
休斯,约翰;Launchbury,约翰
1
1994
部分求值中的投影因子分解。 Zbl 0752.68055号
约翰·朗奇伯里
4
1991

按年份列出的引文

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