Portal eduCapes: Buscando no repositório

Navegando por Autor Figueiredo, Carlos Camarão de

Mostrando resultados 1 a 8 de 8

A type system for context-dependent overloading.
Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
26-Jan-2015
★★★★★ (0)
A view on abstract and extensible types.
Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
26-Jan-2015
★★★★★ (0)
Ambiguity and constrained polymorphism.
Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de; Ribeiro, Rodrigo Geraldo
18-Jan-2018
★★★★★ (0)
Ambiguity and context-dependent overloading.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de
27-Jul-2017
★★★★★ (0)
Certified derivative-based parsing of regular expressions.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Malaquias, José Romildo; Reis, Leonardo Vieira dos Santos; Ribeiro, Rodrigo Geraldo
Lopes, Raul Felipe Pimenta
19-Nov-2018
★★★★★ (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)
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
1-Fev-2017
★★★★★ (0)
Towards higher-order types.
Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
26-Jan-2015
★★★★★ (0)

Mostrando resultados 1 a 8 de 8