| A concrete framework for environment machines M Biernacka, O Danvy ACM Transactions on Computational Logic (TOCL) 9 (1), 6-es, 2007 | 86 | 2007 |
| An operational foundation for delimited continuations in the CPS hierarchy O Danvy, D Biernacki, M Biernacka Logical Methods in Computer Science 1, 2005 | 76 | 2005 |
| A syntactic correspondence between context-sensitive calculi and abstract machines M Biernacka, O Danvy Theoretical Computer Science 375 (1-3), 76-108, 2007 | 62 | 2007 |
| Automating derivations of abstract machines from reduction semantics F Sieczkowski, M Biernacka, D Biernacki Symposium on Implementation and Application of Functional Languages, 72-88, 2010 | 21 | 2010 |
| A derivational approach to the operational semantics of functional languages M lgorzata Biernacka PhD thesis, BRICS PhD School, Department of Computer Science, Aarhus …, 2006 | 21 | 2006 |
| Context-based proofs of termination for typed delimited-control operators M Biernacka, D Biernacki Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009 | 20 | 2009 |
| Towards compatible and interderivable semantic specifications for the Scheme programming language, Part II: Reduction semantics and abstract machines M Biernacka, O Danvy Semantics and Algebraic Specification, 186-206, 2009 | 19 | 2009 |
| Program extraction from proofs of weak head normalization M Biernacka, O Danvy, K Støvring Electronic Notes in Theoretical Computer Science 155, 169-189, 2006 | 14 | 2006 |
| An operational foundation for delimited continuations M Biernacka, D Biernacki, O Danvy BRICS Report Series, 2003 | 14 | 2003 |
| Generalized refocusing: from hybrid strategies to abstract machines M Biernacka, W Charatonik, K Zielinska 2nd International Conference on Formal Structures for Computation and …, 2017 | 10 | 2017 |
| A context-based approach to proving termination of evaluation M Biernacka, D Biernacki Electronic Notes in Theoretical Computer Science 249, 169-192, 2009 | 10 | 2009 |
| Formalizing constructions of abstract machines for functional languages in Coq M lgorzata Biernacka, D Biernacki WRS’07, 84, 2007 | 10 | 2007 |
| Typing control operators in the CPS hierarchy M Biernacka, D Biernacki, S Lenglet Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011 | 9 | 2011 |
| Deriving an abstract machine for strong call by need M Biernacka, W Charatonik 4th International Conference on Formal Structures for Computation and …, 2019 | 8 | 2019 |
| An operational foundation for the tactic language of Coq W Jedynak, M Biernacka, D Biernacki Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 8 | 2013 |
| An abstract machine for strong call by value M Biernacka, D Biernacki, W Charatonik, T Drab Asian Symposium on Programming Languages and Systems, 147-166, 2020 | 7 | 2020 |
| Fully abstract encodings of λ-calculus in HOcore through abstract machines M Biernacka, D Biernacki, S Lenglet, P Polesiuk, D Pous, A Schmitt 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 4 | 2017 |
| Proving termination of evaluation for System F with control operators M Biernacka, D Biernacki, S Lenglet, M Materzok arXiv preprint arXiv:1309.1261, 2013 | 4 | 2013 |
| A Derived Reasonable Abstract Machine for Strong Call by Value M Biernacka, W Charatonik, T Drab 23rd International Symposium on Principles and Practice of Declarative …, 2021 | 3 | 2021 |
| A concrete framework for environment machines M lgorzata Biernacka, O Danvy ACM Transactions on Computational Logic, 2006 | 3 | 2006 |
