Portal eduCapes: Buscando no repositório

Navegando por Assunto Type systems

Mostrando resultados 1 a 3 de 3

Ambiguity and context-dependent overloading.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de
27-Jul-2017
★★★★★ (0)
Formal semantics for java-like languages and research opportunities.
Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
9-Abr-2019
★★★★★ (0)
Mechanized metatheory for a λ-calculus with trust types.
Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
1-Fev-2017
★★★★★ (0)

Mostrando resultados 1 a 3 de 3