Hacia un sistema I polimórfico
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Capítulo de libro |
| Lengua: | español |
| Temas: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/91092 Consultar en el Cátalogo |
| Resumen: | Sistema I es un lambda cálculo simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares. En este trabajo en progreso proponemos una extensión de Sistema I hacia tipos polimórficos, añadiendo al sistema de tipos tanto el cuantificador universal como sus isomorfismos relacionados. |
| Notas: | Formato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
| Descripción Física: | 1 archivo (943,6 kB) |