Title alternative
Programming with dependent types : a systematic revision
Abstract in Portuguese (Brasil)
Tipos 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.
Abstract
Dependent 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.
Institution
Universidade Federal do Rio Grande do Sul. Instituto de Informática. Curso de Ciência da Computação: Ênfase em Ciência da Computação: Bacharelado.
