TY  - THES
AU  - Montenegro Montes, Manuel
A3  - Peña Marí, Ricardo
A3  - Segura Díaz, Clara María
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/54506
AB  - En este trabajo se describirá con detalle el diseño e implementación de un algoritmo de inferencia para un lenguaje funcional con manejo de regiones y destrucción explícita de memoria, llamado SAFE. Este algoritmo permite trabajar de modo seguro con...
LA  - spa
KW  - Programación funcional
KW  - Modelo declarativo de programación
KW  - Algoritmo de inferencia
KW  - Lenguaje funcional
KW  - SAFE
KW  - Inferencias Hindley-Milner
TI  - Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
M3  - master thesis
ER  -