Pedro Abreu

Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Alex HubersThe University of IowaVerified email at uiowa.edu
J. Garrett MorrisThe University of IowaVerified email at acm.org
Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu

Pedro Abreu

Other namesPedro da Costa Abreu Júnior

Verified email at purdue.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A Type-Based Approach to Divide-and-Conquer Recursion in Coq P Abreu, B Delaware, A Hubers, C Jenkins, JG Morris, A Stump Proceedings of the ACM on Programming Languages 7 (POPL), 61-90, 2023	2	2023

The system can't perform the operation now. Try again later.

Citations per year