| |
| 2007 | ||
|---|---|---|
| 5 | EE | Malgorzata Biernacka, Olivier Danvy: A concrete framework for environment machines. ACM Trans. Comput. Log. 9(1): (2007) |
| 4 | EE | Malgorzata Biernacka, Olivier Danvy: A syntactic correspondence between context-sensitive calculi and abstract machines. Theor. Comput. Sci. 375(1-3): 76-108 (2007) |
| 2006 | ||
| 3 | EE | Malgorzata Biernacka, Olivier Danvy, Kristian Støvring: Program Extraction From Proofs of Weak Head Normalization. Electr. Notes Theor. Comput. Sci. 155: 169-189 (2006) |
| 2005 | ||
| 2 | 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) |
| 1 | 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) |
| 1 | Dariusz Biernacki | [1] [2] |
| 2 | Olivier Danvy | [1] [2] [3] [4] [5] |
| 3 | Kristian Støvring | [3] |