1. Imperative versus declarative collection processing;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
2. Dialogo: A Controlled Portuguese for Developing Agroecological Information Systems;Information Systems and Technologies;2022
3. A Dictionary-Passing Translation of Featherweight Go;Programming Languages and Systems;2021
4. Efficient runtime metaprogramming services for Java;Journal of Systems and Software;2019-07
5. Decidable tag-based semantic subtyping for nominal types, tuples, and unions;Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19;2019