14 citations · 16 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
Guilherme Espada, Leon Ingelse, Paulo Canelas +2
Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Softw…
cs.PL2022★ 1 cited
Type Systems in Resource-Aware Programming: Opportunities and Challenges
Alcides Fonseca, Guilherme Espada
Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to pre…