1. REPOSITORIO INSTITUCIONAL DA UFOP

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

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 2 a 6 de 6 < Anterior 
Data do documentoTítuloAutor(es)
2013Mechanized metatheory for a λ-calculus with trust types.Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos 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
1998Towards higher-order types.Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
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
Mostrando resultados 2 a 6 de 6 < Anterior