1. Facet-oriented Modelling;ACM Transactions on Software Engineering and Methodology;2021-05
2. Taming the Merge Operator;Journal of Functional Programming;2021
3. History of Logo;Proceedings of the ACM on Programming Languages;2020-06-12
4. Concept analysis in programming language research: done well it is all right;Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2017-10-25
5. Programmable semantic fragments: the design and implementation of typy;ACM SIGPLAN Notices;2017-05-12