Buscar
Mostrando ítems 1-4 de 4
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)
En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ...
Estilos individuais de escolha no processo de aprendizagem
(Florianópolis, SC, 2012)
As Melhores Teses de Direito Premiadas pela Fundação Capes: Lições Epistemológicas de Como se faz uma Pesquisa Jurídica de Excelência no Brasil
(Universidade Federal do Rio Grande do Sul, 2017)