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:

1. Pierce, B. C. Types and Programming Languages. The MIT Press, 2002.

Profesores encargados:

Los esperamos, para adentrarnos o comenzar el camino en la programación funcional.