Hacia un sistema I polimórfico

Título:

Hacia un sistema I polimórfico

Autor:

Sottile, Cristian

Colaboradores:

; Díaz Caro, Alejandro; Martínez López, Pablo Ernesto

Temas:

CÁLCULO LAMBDAPOLIMORFISMO

En:

Congreso Argentino de Ciencias de la Computación (25to : 2019 : Río Cuarto, Córdoba)

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.

URL/DOI:

http://sedici.unlp.edu.ar/handle/10915/91092

Palabras clave:

isomorfismos de tipos

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (943,6 kB)

Idioma:

Español

Publicación:

, 2019

Puede solicitar más fácilmente el ejemplar con: A1223

Ver estantes