TY  - THES
AU  - Sagredo Tamayo, Javier
A3  - Mariño Carballo, Julio
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/124876
AB  - This thesis addresses a long-standing issue in lazy functional programming: excessive memory retention due to compiler optimizations such as let-floating and the use of updatable thunks in GHC. We propose a targeted transformation at the STG level...
AB  - Esta tesis aborda un problema recurrente en la programación funcional perezosa: la retención excesiva de memoria debido a optimizaciones del compilador, como let-floating y el uso de thunks actualizables en GHC. Proponemos una transformación...
LA  - eng
KW  - Haskell
KW  - GHC
KW  - Evaluación perezosa
KW  - Optimizaciones del compilador
KW  - Thunk
KW  - Fugas de memoria
KW  - Let-floating
KW  - Transformaciones en STG
KW  - Lazy evaluation
KW  - Compiler optimizations
KW  - Memory leaks
KW  - Let- floating
KW  - STG transformations
TI  - Undoing unwanted sharing in Haskell: An STG transformation
M3  - master thesis
ER  -