Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2023-2

Optativas, Lenguajes de Programación II

Grupo 7138, 20 lugares. 8 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 11 a 12 P202
Ayudante Karla Ramírez Pulido ma ju 11 a 12 P202
Ayud. Lab. Lourdes del Carmen González Huesca mi 16 a 18 Taller de Lenguajes de Programación

 

Primera sesión: jueves 2 de febrero.

Requisitos mínimos: Lógica Computacional o Matemática 2, Autómatas y Lenguajes Formales.

Requisitos extras: Lenguajes de Programación, Compiladores.

Temario:

  1. Introducción: notación deductiva, inducción sobre derivaciones, cálculo lambda con tipos simples.
  2. Lenguaje funcional básico y correspondencia Curry-Howard.
  3. Polimorfismo
  4. Tipos de Refinamiento
  5. Tipos Dependientes
  6. Tipos Graduales

Evaluación:

80% tareas teórico-prácticas (más teóricas que prácticas)

20% actividades (lecturas y posible exposición en clase)

Referencias:

  • Robert Harper, Practical Foundations for Programming Languages (Second Edition), Cambridge University Press, April 2016.
  • Software Foundations https://softwarefoundations.cis.upenn.edu/

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.