Pedro Abreu

Aaron StumpProfessor of Computer Science, The University of IowaZweryfikowany adres z uiowa.edu
Alex HubersThe University of IowaZweryfikowany adres z uiowa.edu
J. Garrett MorrisThe University of IowaZweryfikowany adres z acm.org
Benjamin DelawareAssistant Professor, Purdue UniversityZweryfikowany adres z purdue.edu

Pedro Abreu

Inne imiona/nazwiskaPedro da Costa Abreu Júnior

Zweryfikowany adres z purdue.edu - Strona główna


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Cytowania rocznie