1. REPOSITORIO INSTITUCIONAL DA UFOP

Página de Busca


Filtros correntes:
Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 1-5 de 5.
  • Anterior
  • 1
  • Próximo
Conjunto de itens:
Data do documentoTítuloAutor(es)
1998A type system for context-dependent overloading.Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
2002A view on abstract and extensible types.Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
1998Towards higher-order types.Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
2013Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
2013Mechanized metatheory for a λ-calculus with trust types.Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de

Busca facetada