Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. - Henrique Botelho Guerra; João F. Ferreira 001; João Costa Seco (ECOOP, 2023)

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). - Henrique Botelho Guerra; João F. Ferreira 001; João Costa Seco (Dagstuhl Artifacts Ser., 2023)