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.Deriving an Abstract Machine for Strong Call by Need

作　　者：Malgorzata Biernacka ;Witold Charatonik

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

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

文章 ID：238892295

文章详细全文下载

3.Generalized Refocusing: From Hybrid Strategies to Abstract Machines

作　　者：Malgorzata Biernacka ;Witold Charatonik ;Klara Zielinska

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:10:1-10:17.doi:10.4230/LIPIcs.FSCD.2017.10

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

文章 ID：200735119

文章详细全文下载

4.An Operational Foundation for Delimited Continuations

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

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

出版社：Aarhus University

文章 ID：186804860

文章详细全文下载

5.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

文章详细全文下载

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

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2005 ;12(11).

出版社：Aarhus University

文章 ID：186804924

文章详细全文下载

7.Program Extraction from Proofs of Weak Head Normalization

作　　者：Malgorzata Biernacka ;Olivier Danvy ;Kristian Støvring

出　　处：BRICS Report Series. 2005 ;12(12).

出版社：Aarhus University

文章 ID：186804925

文章详细全文下载

8.A Concrete Framework for Environment Machines

作　　者：Malgorzata Biernacka ;Olivier Danvy

出　　处：BRICS Report Series. 2005 ;12(15).

出版社：Aarhus University

文章 ID：186804928

文章详细全文下载

9.A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines

作　　者：Malgorzata Biernacka ;Olivier Danvy

出　　处：BRICS Report Series. 2005 ;12(22).

出版社：Aarhus University

文章 ID：186804935

文章详细全文下载

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

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2005 ;12(24).

出版社：Aarhus University

文章 ID：186804937

文章详细

	有本地全文	10篇
	有全文链接	2篇

	2019	1篇
	2017	1篇
	2006	1篇
	2005	7篇
	2004	1篇

	丹麦	9篇
	德国	3篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Malgorzata Biernacka")))) )) ) )"

	Malgorzata Biernacka	12篇
	Olivier Danvy	10篇
	Dariusz Biernacki	5篇
	Witold Charatonik	2篇
	Klara Zielinska	1篇

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