Pedro da Costa Abreu Junior - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Thu 10 Nov 2022

Name:Pedro da Costa Abreu Junior

Country:United States

Affiliation:Purdue University

Personal website: htpps://pedroabreu0.github.io

X (Twitter): https://x.com/p_droabreu0

GitHub: https://github.com/pedrotst

Contributions

2023

POPL

A Type-Based Approach to Divide-and-Conquer Recursion in Coq

Show activities from other conferences

POPL 2023-profile
View general profile