Publications

2020

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).