Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Cálculo lambda y sistemas relacionados"
Now showing items 1-1 of 1
-
Estudio de semántica categórica para lenguajes Algol-Like
(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 ...