Registered user since Mon 24 Jun 2024
Name:Cristiano Vasconcellos
Country:Brazil
Affiliation:Santa Catarina State University
Personal website: https://www.udesc.br/professor/cristiano.vasconcellos
Research interests:Programming languages; type systems; formal verification
Contributions
ICFP 2024-profile
View general profile
View general profile