Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-6 de 6.
- Anterior
- 1
- Próximo
Conjunto de itens:
Data do documento | Título | Autor(es) |
---|---|---|
2022 | An intrinsically-typed solution for the list-machine benchmark. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo |
2020 | Towards an extrinsic formalization of featherweight Java in Agda. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2020 | Type inference for C : applications to the static analysis of incomplete programs. | Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Guimarães, Breno Campos Ferreira; Pereira, Fernando Magno Quintao |
2020 | A mechanized proof of a textbook type unification algorithm. | Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2020 | A type-directed algorithm to generate random well-typed Java 8 programs. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2021 | The design of a verified derivative-based parsing tool for regular expressions. | Cardoso, Elton Máximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo |
Busca facetada
Assunto