Hoogle*: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco,

URL	https://doi.org/10.4230/LIPIcs.ECOOP.2023.4
Book title	37th European Conference on Object-Oriented Programming (ECOOP 2023)

Publication