Computación copy!.jpg

Semántica de la Programación

El Grupo de Semántica de la Programación trabaja sobre los fundamentos de los lenguajes de programación, la descripción y formalización de su semántica, la certificación de compiladores, el diseño de nuevos algoritmos de chequeo e inferencia de tipos para sistemas de tipos procurando extender su expresividad y facilitar su uso.

Proyectos

  • Semántica categórica de lenguajes aplicativos con estados
  • Normalización por Evaluación para teoría de tipos
  • Formalización de cálculo lambda

Para mayor información, visitar la página del grupo haciendo clic aquí

Integrantes

Daniel Fridlender

Alejandro Gadea

Emmanuel Gunther

Miguel Pagano

Leonardo Rodríguez

Martín Vilela

Autoridades