Extending Java with Refinements
Catarina Gamboa, Paulo Santos, Alcides Fonseca. (2020). Extending Java with Refinements. Program Semantics, Specification and Verification (PSSV 2020).
The Usability Argument for Refinement Typed Genetic Programming
Alcides Fonseca, Paulo Santos, Sara Silva. (2020). The Usability Argument for Refinement Typed Genetic Programming. Parallel Problem Solving from Nature (PPSN 2020).
Refined Typed Genetic Programming as a user interface for Genetic Programming
Paulo Santos, Sara Silva, Alcides Fonseca. Refined typed genetic programming as a user interface for genetic programming. In Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, New York, NY, USA, 251–252 (GECCO'20).