Portal eduCapes: Buscando no repositório

Navegando por Autor Figueiredo, Lucília Camarão de

Mostrando resultados 1 a 9 de 9

A type system for context-dependent overloading.
Figueiredo, Lucília Camarão de; Camarão, Carlos
26-Jan-2015
★★★★★ (0)
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; Camarão, Carlos
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)
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.
Camarão, Carlos; Figueiredo, Lucília Camarão de
26-Jan-2015
★★★★★ (0)
Towards higher-order types.
Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
26-Jan-2015
★★★★★ (0)

Mostrando resultados 1 a 9 de 9