Este semestre nos enfocaremos en la teoría de tipos. Un sistema de tipos es una herramienta formal (matemática) que ayuda a asegurar la ausencia de errores, previamente especificados, en los programas de un lenguaje de programación. El curso presentará la teoría de tipos en alto nivel, pero también la haremos concreta implementando sistemas de tipos en lenguajes como Haskell, Ocaml y Standard ML.
Horario:
Día: Todos los lunes
Donde: Salón LL 205
Hora: 11:00 am a 12:20 pm
Referencias principal:
- Pierce, B. C. Types and Programming Languages. The MIT Press, 2002.
Profesores encargados:
Profesor instructor
Profesor asociado
Los esperamos, para adentrarnos o comenzar el camino en la programación funcional.