Seguir
Pedro Abreu
Pedro Abreu
Outros nomesPedro da Costa Abreu Júnior
Purdue University
E-mail confirmado em purdue.edu - Página inicial
Título
Citado por
Citado por
Ano
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
22023
O sistema não pode executar a operação agora. Tente novamente mais tarde.