Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Assunto Lambda calculus

Mostrando resultados 1 a 2 de 2

Compiling general recursive functions into finite depth pattern matching.
Ribeiro, Rodrigo Geraldo; Ribeiro, Rodrigo Geraldo; Vieira, Bruno Lopes; Reis, Leonardo Vieira dos Santos
Amaro, Maycon José Jorge
16-Mar-2023
★★★★★ (0)
Typability and type inference in atomic polymorphism
Protin, M. Clarence; Ferreira, Gilda
20-Nov-2022
★★★★★ (0)

Mostrando resultados 1 a 2 de 2