Paulo Emílio de Vilhena

According to our database, Paulo Emílio de Vilhena authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library.

Paulo Emílio de Vilhena, François Pottier

Log. Methods Comput. Sci., 2023

A Type System for Effect Handlers and Dynamic Labels.

Paulo Emílio de Vilhena, François Pottier

Proceedings of the Programming Languages and Systems, 2023

2021

A separation logic for effect handlers.

Paulo Emílio de Vilhena, François Pottier

Proc. ACM Program. Lang., 2021

Verifying a Minimalist Reverse-Mode AD Library.

Paulo Emílio de Vilhena, François Pottier

CoRR, 2021

2020

Spy game: verifying a local generic solver in Iris.

Paulo Emílio de Vilhena, François Pottier, Jacques-Henri Jourdan

Proc. ACM Program. Lang., 2020

Algebraically Closed Fields in Isabelle/HOL.

Paulo Emílio de Vilhena, Lawrence C. Paulson

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020