Generation of algebraic data type values using evolutionary algorithms

Autor: Ballesteros, Ignacio, Benac-Earle, Clara, Mariño, Julio, Fredlund, Lars-Åke, Herranz, Ángel
Zdroj: In Journal of Logical and Algebraic Methods in Programming February 2025 143
Databáze: ScienceDirect