1. A Tour Through the Programming Choices: Semantics and Applications;Lecture Notes in Computer Science;2024
2. The Semantics of Plurals;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
3. A relational theory of effects and coeffects;Proceedings of the ACM on Programming Languages;2022-01-12
4. Program Verification: a 70+- Year History;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
5. Computational Thinking, Between Papert and Wing;Science & Education;2021-04-28