Dariusz Biernacki

	2012
18		Dariusz Biernacki, Sergueï Lenglet: Normal Form Bisimulations for Delimited-Control Operators. FLOPS 2012: 47-61
17		Dariusz Biernacki, Sergueï Lenglet: Applicative Bisimulations for Delimited-Control Operators. FoSSaCS 2012: 119-134
16		Dariusz Biernacki, Sergueï Lenglet: Applicative Bisimulations for Delimited-Control Operators CoRR abs/1201.0874: (2012)
15		Dariusz Biernacki, Sergueï Lenglet: Normal Form Bisimulations for Delimited-Control Operators CoRR abs/1202.5959: (2012)
	2011
14		Marek Materzok, Dariusz Biernacki: Subtyping delimited continuations. ICFP 2011: 81-93
13		Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet: Typing control operators in the CPS hierarchy. PPDP 2011: 149-160
	2010
12		Maciej Piróg, Dariusz Biernacki: A systematic derivation of the STG machine verified in Coq. Haskell 2010: 25-36
11		Filip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki: Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq. IFL 2010: 72-88
	2009
10		Malgorzata Biernacka, Dariusz Biernacki: Context-based proofs of termination for typed delimited-control operators. PPDP 2009: 289-300
9		Malgorzata Biernacka, Dariusz Biernacki: A Context-based Approach to Proving Termination of Evaluation. Electr. Notes Theor. Comput. Sci. 249: 169-192 (2009)
	2008
8		Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet: Clock-directed modular code generation for synchronous data-flow languages. LCTES 2008: 121-130
	2006
7		Dariusz Biernacki, Olivier Danvy: Theoretical Pearl: A simple proof of a folklore theorem about delimited control. J. Funct. Program. 16(3): 269-280 (2006)
6		Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the static and dynamic extents of delimited continuations. Sci. Comput. Program. 60(3): 274-297 (2006)
	2005
5		Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy: An Operational Foundation for Delimited Continuations in the CPS Hierarchy CoRR abs/cs/0508048: (2005)
4		Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the dynamic extent of delimited continuations. Inf. Process. Lett. 96(1): 7-17 (2005)
3		Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy: An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science 1(2): (2005)
	2003
2		Dariusz Biernacki, Olivier Danvy: From Interpreter to Logic Engine by Defunctionalization. LOPSTR 2003: 143-159
1		Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard: A functional correspondence between evaluators and abstract machines. PPDP 2003: 8-19

Coauthor Index

1	Mads Sig Ager	[1]
2	Malgorzata Biernacka	[3] [5] [9] [10] [11] [13]
3	Jean-Louis Colaço	[8]
4	Olivier Danvy	[1] [2] [3] [4] [5] [6] [7]
5	Grégoire Hamon	[8]
6	Sergueï Lenglet	[13] [15] [16] [17] [18]
7	Marek Materzok	[14]
8	Jan Midtgaard	[1]
9	Maciej Piróg	[12]
10	Marc Pouzet	[8]
11	Chung-chieh Shan	[4] [6]
12	Filip Sieczkowski	[11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page