TY  - THES
AU  - Suárez García, Gorka
A3  - López Fraguas, Francisco Javier
A3  - Montenegro Montes, Manuel
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/3743
AB  - Los sistemas de tipos son una herramienta formal que permiten clasificar las distintas construcciones de un lenguaje de programación (valores, expresiones, etc.) en distintas categorías, llamadas tipos. Con ello se pretende detectar posibles...
AB  - Type systems are a formal tool that allows the different constructions of a programming language (values, expressions, etc.) to be classified into different categories, called types. Type sustems can detect possible inconsistencies between the...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Algoritmos computacionales
KW  - ERLANG (Lenguaje de programación)
KW  - Computer Algorithms
KW  - ERLANG (Computer program language
KW  - Programming languages (Electronic computers)
TI  - Análisis estático de tipos para lenguajes de tipado dinámico
M3  - doctoral thesis
ER  -