1. A Calculus with Recursive Types, Record Concatenation and Subtyping;Programming Languages and Systems;2022
2. Taming the Merge Operator;Journal of Functional Programming;2021
3. Object-oriented design pattern for DSL program monitoring;Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering;2016-10-20
4. Feature-Oriented Programming with Object Algebras;ECOOP 2013 – Object-Oriented Programming;2013
5. An Introduction to Search Combinators;Logic-Based Program Synthesis and Transformation;2013