理察·布莱尔
人员信息
优化列表
2010 – 2019
2019 [j1] 迪特马尔·布鲁克纳 , 马吕斯·佩特鲁·斯坦尼卡 , 理察·布莱尔 , 塞巴斯蒂安·施里格尔 , 斯蒂芬·凯勒 , 梅克·西瓦尔德 , 蒂洛·索特 :
工业通信系统OPC UA TSN简介。 程序。 电气与电子工程师协会 107 ( 6 ) : 1121-1131 ( 2019 ) 2018 【c1】 丹尼斯·菲尔索夫 , 理察·布莱尔 , 亚伦·斯塔姆 :
Cedille中的高效Mendler-Style Lambda-Encodings。 ITP公司 2018 : 235-252 [i1] 丹尼斯·费尔索夫 , 理察·布莱尔 , 亚伦·斯塔姆 :
Cedille中的高效Mendler-Style Lambda-Encodings。 CoRR公司 abs/1803.02473 ( 2018 )