dblp.uni-trier.dewww.uni-trier.de

Dariusz Biernacki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEDariusz 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
7EEDariusz Biernacki, Olivier Danvy: Theoretical Pearl: A simple proof of a folklore theorem about delimited control. J. Funct. Program. 16(3): 269-280 (2006)
6EEDariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the static and dynamic extents of delimited continuations. Sci. Comput. Program. 60(3): 274-297 (2006)
2005
5EEMalgorzata Biernacka, Dariusz Biernacki, Olivier Danvy: An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy CoRR abs/cs/0508048: (2005)
4EEDariusz Biernacki, Olivier Danvy, Chung-chieh Shan: On the dynamic extent of delimited continuations. Inf. Process. Lett. 96(1): 7-17 (2005)
3EEMalgorzata Biernacka, Dariusz Biernacki, Olivier Danvy: An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science 1(2): (2005)
2003
2EEDariusz Biernacki, Olivier Danvy: From Interpreter to Logic Engine by Defunctionalization. LOPSTR 2003: 143-159
1EEMads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard: A functional correspondence between evaluators and abstract machines. PPDP 2003: 8-19

Coauthor Index

1Mads Sig Ager [1]
2Malgorzata Biernacka [3] [5]
3Jean-Louis Colaço [8]
4Olivier Danvy [1] [2] [3] [4] [5] [6] [7]
5Grégoire Hamon [8]
6Jan Midtgaard [1]
7Marc Pouzet [8]
8Chung-chieh Shan [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)