1. The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. From Algorithms to Software;From Algorithms to Thinking Machines;2023-10-19
3. Gramatização, colonização e resistência;Traços de Linguagem - Revista de Estudos Linguísticos;2023-05-27
4. Set of Support, Demodulation, Paramodulation: A Historical Perspective;Journal of Automated Reasoning;2022-05-24
5. Towards a Theory of Evolution as Multilevel Learning;2021-11-05