http://pleiad.cl/ 2026-05-07T23:26:20+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2010-08-25T18:14:53+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc5104/2010-2/tarea1 Tarea 1: Sistemas de tipos y contratos Parte 1: sistema de tipos * Implemente un interprete para un lenguaje con booleanos, numeros, if, y funciones de primera clase con scope léxico. * Implemente un verificador de tipos para este lenguaje, basado en el simply-typed lambda calculus text/html 2010-10-27T02:11:55+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc5104/2010-2/tarea2 Tarea 2: Subtipos y contratos Parte 1: records y subtipos * Extienda su lenguaje con records, y subtipos, basandose en lo visto en clases. No se olvide que su lenguaje debe incluir `if'. Su verificador de tipos debe retornar el tipo mínimo del termino dado, si existe, y señalar un error sino.