Mostrar registro simples

Programação com tipos dependentes : uma revisão

dc.contributor.advisorMoreira, Alvaro Freitaspt_BR
dc.contributor.authorNascimento, Leonardo Branchipt_BR
dc.date.accessioned2025-01-31T06:55:51Zpt_BR
dc.date.issued2025pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/284258pt_BR
dc.description.abstractTipos dependentes são tipos cuja definição depende de algum valor, e estão comumente presentes em linguagens de programação com foco em prova de teoremas. O objetivo deste trabalho é a realização de uma revisão sistemática sobre o uso de tipos dependentes, com ênfase em seu uso para programação convencional.pt_BR
dc.description.abstractDependent types are types whose definition depends on a value, and they are commonly present in programming languages focused on theorem proving. The objective of this work is the realization of a systematic revision regarding the usage of dependent types, focusing on its usage for conventional programming.en
dc.format.mimetypeapplication/pdfpt_BR
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectDependent typesen
dc.subjectLinguagens de programaçãopt_BR
dc.subjectLeanen
dc.subjectTipos : Linguagens : Programacaopt_BR
dc.subjectProva de teoremaspt_BR
dc.subjectIdrisen
dc.subjectAgdaen
dc.titleProgramação com tipos dependentes : uma revisãopt_BR
dc.title.alternativeProgramming with dependent types : a systematic revisionen
dc.typeTrabalho de conclusão de graduaçãopt_BR
dc.identifier.nrb001240875pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.departmentInstituto de Informáticapt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date2025pt_BR
dc.degree.graduationCiência da Computação: Ênfase em Ciência da Computação: Bachareladopt_BR
dc.degree.levelgraduaçãopt_BR


Thumbnail
Nome:
001240875.pdf
Tamanho:
246.0Kb
Formato:
PDF
Descrição:
Texto completo
Visualizar/abrir
   

Este item está licenciado na Creative Commons License

Mostrar registro simples