首页期刊浏览 2024年11月30日星期六

登录注册

全文

有本地全文

3篇

出版年度

	2017	1篇
	2015	1篇
	2011	1篇

作者

	Tiark Rompf	3篇
	Arvind K. Sujeeth	2篇
	HyoukJoong Lee	2篇
	Kevin J. Brown	2篇
	Kunle Olukotun	2篇

	Alen Stojanov	1篇
	Christoph Koch	1篇
	Fei Wang	1篇
	Georg Ofenbeck	1篇
	Hassan Chafi	1篇
	Manohar Jonnalagedda	1篇
	Markus P{\"u}schel	1篇
	Martin Odersky	1篇
	Mohammad Dashti	1篇
	Nada Amin	1篇
	Yannis Klonatos	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

	德国	2篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Tiark Rompf")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Building-Blocks for Performance Oriented DSLs

作　　者：Tiark Rompf ;Arvind K. Sujeeth ;HyoukJoong Lee 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;66:93-117.doi:10.4204/EPTCS.66.5

出版社：Open Publishing Association

文章 ID：83120295

文章详细全文下载
2.Towards Strong Normalization for Dependent Object Types (DOT)

作　　者：Fei Wang ;Tiark Rompf

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:27:1-27:25.doi:10.4230/LIPIcs.ECOOP.2017.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：197690115

文章详细全文下载
3.Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems

作　　者：Tiark Rompf ;Kevin J. Brown ;HyoukJoong Lee 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:238-261.doi:10.4230/LIPIcs.SNAPL.2015.238

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846748

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有