1.Typed Equivalence of Effect Handlers and Delimited Control

作　　者：Maciej Pir{'o}g ;Piotr Polesiuk ;Filip Sieczkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-16.doi:10.4230/LIPIcs.FSCD.2019.30

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

文章 ID：238892317

文章详细全文下载
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.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

文章详细全文下载
4.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

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Piotr Polesiuk")))) )) ) )"

	Piotr Polesiuk	4篇
	Dariusz Biernacki	3篇
	Andr{\'e}s Aristiz{\'a}bal	1篇
	Filip Sieczkowski	1篇
	Lenglet, Sergueï	1篇

	2020	1篇
	2019	1篇
	2016	1篇
	2015	1篇

	Maciej Pir{'o}g	1篇
	Serguei Lenglet	1篇