Lista de

Corrección de Software en Lenguajes Funcionales y Tipos para la Programación Avanzada
1
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