Programa de la asignatura

Corrección de Software en Lenguajes Funcionales y Tipos para la Programación Avanzada (1995). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Si tiene alguna pregunta sobre los programas o posee una versión mejorada de los documentos para aportar, comuníquese a consultas@bl.fcen.uba.ar