Navegando por Autor Figueiredo, Carlos Camarão de
Mostrando resultados 4 a 8 de 8
< Anterior
Data do documento | Título | Autor(es) |
---|---|---|
2013 | Mechanized metatheory for a λ-calculus with trust types. | Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |
2013 | 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 |
1998 | Towards higher-order types. | Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de |
1998 | A type system for context-dependent overloading. | Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |
2002 | A view on abstract and extensible types. | Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |