| 2006 |
|---|
| 7 | EE | 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 | EE | 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 | EE | 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 | EE | Dariusz Biernacki,
Olivier Danvy,
Chung-chieh Shan:
On the dynamic extent of delimited continuations.
Inf. Process. Lett. 96(1): 7-17 (2005) |
| 3 | EE | 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 | EE | Dariusz Biernacki,
Olivier Danvy:
From Interpreter to Logic Engine by Defunctionalization.
LOPSTR 2003: 143-159 |
| 1 | EE | Mads Sig Ager,
Dariusz Biernacki,
Olivier Danvy,
Jan Midtgaard:
A functional correspondence between evaluators and abstract machines.
PPDP 2003: 8-19 |
