Eventos

Título: Máquinas abstractas para programación lógico-funcional en el cálculo λU Director: Pablo Barenbaum Jurado: Brian J. Cardiff y Hernán Melgratti Resumen: La programación lógico-funcional promete una forma de expresar programas en un nivel de abstracción muy alto, pero da lugar a la pregunta de cómo ejecutar tales programas a bajo nivel, y [...]