083F5BMovil

Cursillo Keeping Up! Fundamentos de programación funcional 2024-10

Tenemos el gusto de invitarlos al cursillo Keeping Up! en "Fundamentos de programación funcional"

Keepup

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:

Daniel Barrera
Daniel Barrero
Profesor instructor
Nicolas Cardozo
Nicolás Cardozo
Profesor asociado

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

Información adicional

  • Fecha: Todos los lunes
  • Hora: Salón LL-205
  • Lugar: 11:00 am a 12:20 pm
Leído 215 Tiempo Última modificación Viernes, 02 Febrero 2024 11:29