Union and intersection contracts are hard, actually. - Teodoro Freund; Yann Hamdaoui; Arnaud Spiwack (DLS, 2021)

A Constructive Logic with Classical Proofs and Refutations. - Pablo Barenbaum; Teodoro Freund (LICS, 2021)

A Constructive Logic with Classical Proofs and Refutations (Extended Version). - Pablo Barenbaum; Teodoro Freund (CoRR, 2021)

Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version). - Pablo Barenbaum; Teodoro Freund (CoRR, 2022)

Proofs and Refutations for Intuitionistic and Second-Order Logic. - Pablo Barenbaum; Teodoro Freund (CSL, 2023)

Effect Handlers for C via Coroutines. - Mario Alvarez-Picallo; Teodoro Freund; Dan R. Ghica; Sam Lindley (Proc. ACM Program. Lang., 2024)