Ingresar:

Pablo Azero :: Blog :: Curso sistemas de tipos: parte III

August 10, 2007

user icon
Pablo Azero

Curso sistemas de tipos: parte III

En la parte II se formalizaron sistemas de tipos simples, a modo de introducción de los elementos necesarios para la formalización de un sistema de tipos. En la parte III se introdujo el cálculo-lambda con tipos de primer orden como formalización de un lenguaje con abstracciones. Al final del curso hablamos sobre la formalización de un lenguaje imperativo. Nos olvidamos algunos elementos importantes. En el paper de Cardelli se encuentra una formalización más completa.

Palabras clave: cálculo lambda con tipos, lenguaje imperativo, sistemas de tipos

Enviado por Pablo Azero


Debes iniciar sesión para enviar un comentario.