Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Lambda calculus and related systems"

Now showing items 1-2 of 2

    • Estudio de semántica categórica para lenguajes Algol-Like 

      Gadea, Alejandro Emilio (2013-09)
      Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ...

    • Generación de código intermedio usando semántica funtorial 

      Rodríguez, Leonardo Matías (2010-12-29)
      Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ...