1. CPS transformation with affine types for call-by-value implicit polymorphism;Proceedings of the ACM on Programming Languages;2021-08-22
2. No-brainer CPS conversion (functional pearl);Proceedings of the ACM on Programming Languages;2017-08-29
3. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus;Logical Methods in Computer Science;2014-12-09
4. Aspect-Oriented Semantic Framework for Executable Models;2013 International Symposium on Theoretical Aspects of Software Engineering;2013-07
5. On semantics of a term calculus for classical logic;Publications de l'Institut Math?matique (Belgrade);2012