E-Prints Complutense

Montenegro Montes, Manuel (2012) Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura. Tesis PhD.

Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. Tesis Master's thesis.

Jenkins López, David B. and Monte Freitas, Álvaro del and Montenegro Montes, Manuel (2006) Rigid Body Simulation. [Coursework] (Unpublished)