Final 12/08/2008 (Paradigmas)

De Cuba-Wiki
Saltar a: navegación, buscar
Back.png Volver a la página de la materia

Ejercicio 1[editar]

Extender lambda calculo con errores (estructuras tipo "raise n" y "try M N"). Para esto, había que mostrar la semantica operacional small-step, extender el algoritmo de tipado, dar las reglas de tipado, etc.

Ejercicio 2[editar]

Dar la regla de subtipado de funciones, y explicar por qué es al revés de lo que uno supone.

Ver Final 14/10/2008

Ejercicio 3[editar]

Dada una fórmula en LPO, dar su forma clausal.