Total Publications: 1

  • Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
    Henrique Botelho Guerra, João F. Ferreira, João Costa Seco,
    37th European Conference on Object-Oriented Programming (ECOOP 2023), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, May 2023