×
作者ID: 艾森伯格·里查德-a最近由“Eisenberg,Richard A.”撰写的zbMATH文章
发布日期: 理查德·艾森伯格。
已编制索引的文档: 6出版物自2013年以来
合著者: 6位合著者具有6联合出版物
150位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用18中的次14文件 引用人 年份
具有重叠表达式的闭合类型族。 Zbl 1284.68130号
理查德·艾森伯格。Dimitrios Vytiniotis,迪米特里奥斯西蒙·佩顿·琼斯斯蒂芬妮,威里奇
5
2014
具有显式种类相等的系统FC。 Zbl 1323.68194号
斯蒂芬妮,威里奇贾斯汀·徐理查德·艾森伯格。
5
2013
可见类型应用程序。 Zbl 1335.68031号
理查德·艾森伯格。斯蒂芬妮,威里奇哈米达桑·艾哈迈德。
2
2016
对类型的反思。 Zbl 1343.68048号
西蒙·佩顿·琼斯斯蒂芬妮,威里奇理查德·艾森伯格。Dimitrios Vytiniotis,迪米特里奥斯
2
2016
Haskell的安全零成本胁迫。 Zbl 1420.68035号
约阿希姆·布雷特纳理查德·艾森伯格。西蒙·佩顿·琼斯斯蒂芬妮,威里奇
2
2016
Haskell的安全零成本胁迫。 Zbl 1345.68038号
约阿希姆·布雷特纳理查德·艾森伯格。西蒙·佩顿·琼斯斯蒂芬妮,威里奇
2
2014
可见类型应用程序。 Zbl 1335.68031号
理查德·艾森伯格。斯蒂芬妮,威里奇哈米达桑·艾哈迈德。
2
2016
对类型的反思。 Zbl 1343.68048号
西蒙·佩顿·琼斯斯蒂芬妮,威里奇理查德·艾森伯格。Dimitrios Vytiniotis,迪米特里奥斯
2
2016
Haskell的安全零成本胁迫。 Zbl 1420.68035号
约阿希姆·布雷特纳理查德·艾森伯格。西蒙·佩顿·琼斯斯蒂芬妮,威里奇
2
2016
具有重叠表达式的闭合类型族。 Zbl 1284.68130号
理查德·艾森伯格。Dimitrios Vytiniotis,迪米特里奥斯西蒙·佩顿·琼斯斯蒂芬妮,威里奇
5
2014
Haskell的安全零成本胁迫。 兹比尔1345.68038
约阿希姆·布雷特纳理查德·艾森伯格。西蒙·佩顿·琼斯斯蒂芬妮,威里奇
2
2014
具有显式种类相等的系统FC。 Zbl 1323.68194号
斯蒂芬妮,威里奇贾斯汀·徐理查德·艾森伯格。
5
2013

按年份列出的引文