A Type System for Effect Handlers and Dynamic Labels

von Vilhena, Paulo Emilio de
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Algebraically Closed Fields in Isabelle/HOL

von Vilhena, Paulo Emilio de
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)