首页期刊浏览 2024年10月04日星期五

登录注册

全文

	有本地全文	18篇
	有全文链接	3篇

出版年度

	2020	2篇
	2016	1篇
	2015	1篇
	2006	1篇
	2005	10篇

	2004	2篇
	2003	4篇

作者

	Dariusz Biernacki	21篇
	Olivier Danvy	17篇
	Malgorzata Biernacka	5篇
	Kevin Millikin	3篇
	Piotr Polesiuk	3篇

	Chung-chieh Shan	2篇
	Jan Midtgaard	2篇
	Mads Sig Ager	2篇
	Andr{\'e}s Aristiz{\'a}bal	1篇
	Filip Sieczkowski	1篇
	Lenglet, Sergueï	1篇
	Mateusz Pyzik	1篇
	Serguei Lenglet	1篇

文章类型

Research Article

16篇

来源期刊

	BRICS Report Series	16篇
	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

21篇

语种

英文

21篇

国别/地区

	丹麦	16篇
	德国	5篇

检索条件:"( ( 高级检索(( ((AU:(("Dariusz Biernacki")))) )) ) )"

共 21 条记录

排序：全选导出：

1.An Operational Foundation for Delimited Continuations in the CPS Hierarchy

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：Logical Methods in Computer Science. 2005 ;1(2).

出版社：Technical University of Braunschweig

文章 ID：41929649

文章详细全文下载
2.A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers

作　　者：Dariusz Biernacki ;Lenglet, Sergueï ;Piotr Polesiuk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:7:1-7:22.doi:10.4230/LIPIcs.FSCD.2020.7

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

文章 ID：255823184

文章详细全文下载
3.A Reflection on Continuation-Composing Style

作　　者：Dariusz Biernacki ;Mateusz Pyzik ;Filip Sieczkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:18:1-18:17.doi:10.4230/LIPIcs.FSCD.2020.18

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

文章 ID：255823195

文章详细全文下载
4.Logical Relations for Coherence of Effect Subtyping

作　　者：Dariusz Biernacki ;Piotr Polesiuk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:107-122.doi:10.4230/LIPIcs.TLCA.2015.107

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

文章 ID：186846859

文章详细全文下载
5.Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

作　　者：Andr{\'e}s Aristiz{\'a}bal ;Dariusz Biernacki ;Serguei Lenglet 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:9:1-9:17.doi:10.4230/LIPIcs.FSCD.2016.9

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

文章 ID：186847441

文章详细全文下载
6.A Functional Correspondence between Evaluators and Abstract Machines

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

出　　处：BRICS Report Series. 2003 ;10(13).

出版社：Aarhus University

文章 ID：186804834

文章详细全文下载
7.From Interpreter to Compiler and Virtual Machine: A Functional Derivation

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

出　　处：BRICS Report Series. 2003 ;10(14).

出版社：Aarhus University

文章 ID：186804835

文章详细全文下载
8.An Operational Foundation for Delimited Continuations

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2003 ;10(41).

出版社：Aarhus University

文章 ID：186804860

文章详细全文下载
9.From Interpreter to Logic Engine by Defunctionalization

作　　者：Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2004 ;11(5).

出版社：Aarhus University

文章 ID：186804877

文章详细全文下载
10.An Operational Foundation for Delimited Continuations in the CPS Hierarchy

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2004 ;11(29).

出版社：Aarhus University

文章 ID：186804901

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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