Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-4 de 4.
- Anterior
- 1
- Siguiente
Resultados por ítem:
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 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 |
Otras opciones relacionadas
Título
Has File(s)
- 4 true