理察·布莱尔
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
期刊文章
2019 [j1] 迪特玛·布鲁克纳 , 马吕斯·佩特鲁·斯坦尼卡 , 理察·布莱尔 , 塞巴斯蒂安·施里格尔 , 斯蒂芬·凯勒 , 梅克·西瓦尔德 , 蒂洛·索特 :
工业通信系统OPC UA TSN简介。 程序。 电气与电子工程师协会 107 ( 6 ) : 1121-1131 ( 2019 )
会议和研讨会文件
2018 【c1】 丹尼斯·菲尔索夫 , 理察·布莱尔 , 亚伦·斯塔姆 :
Cedille中的高效Mendler-Style Lambda-Encodings。 ITP公司 2018 : 235-252
非正式出版物和其他出版物
2018 [i1] 丹尼斯·菲尔索夫 , 理察·布莱尔 , 亚伦·斯图普 :
Cedille中的高效Mendler-Style Lambda-Encodings。 CoRR公司 abs/1803.02473 ( 2018 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)