Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-6 of 6 (Search time: 0.003 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2022An intrinsically-typed solution for the list-machine benchmark.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo
2020Towards an extrinsic formalization of featherweight Java in Agda.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020Type 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
2020A mechanized proof of a textbook type unification algorithm.Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020A type-directed algorithm to generate random well-typed Java 8 programs.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2021The 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