‪Pedro Abreu‬ - ‪Google Scholar‬

Skapa en profil

Citeras av

	Alla	Sedan 2019
Citat	2	2
h-index	1	1
i10-index	0	0

Medförfattare

Aaron StumpProfessor of Computer Science, The University of IowaVerifierad e-postadress på uiowa.edu
Alex HubersThe University of IowaVerifierad e-postadress på uiowa.edu
J. Garrett MorrisThe University of IowaVerifierad e-postadress på acm.org
Benjamin DelawareAssistant Professor, Purdue UniversityVerifierad e-postadress på purdue.edu

Pedro Abreu

Pedro Abreu

Andra namnPedro da Costa Abreu Júnior

Purdue University

Verifierad e-postadress på purdue.edu - Startsida

Computer Science Programming Languages Type Theory Formal Methods


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.