 | 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<br><br> the<br><br><br> CPS<br><br> 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 |
