Hacia un sistema I polimórfico

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 siste...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Sottile, Cristian, Díaz Caro, Alejandro, Martínez López, Pablo E.
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2019
Materias:	Ciencias Informáticas Lambda cálculo Teoría de tipos Isomorfismos de tipos Polimorfismo
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/91092
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-91092
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Lambda cálculo Teoría de tipos Isomorfismos de tipos Polimorfismo
spellingShingle	Ciencias Informáticas Lambda cálculo Teoría de tipos Isomorfismos de tipos Polimorfismo Sottile, Cristian Díaz Caro, Alejandro Martínez López, Pablo E. Hacia un sistema I polimórfico
topic_facet	Ciencias Informáticas Lambda cálculo Teoría de tipos Isomorfismos de tipos Polimorfismo
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Sottile, Cristian Díaz Caro, Alejandro Martínez López, Pablo E.
author_facet	Sottile, Cristian Díaz Caro, Alejandro Martínez López, Pablo E.
author_sort	Sottile, Cristian
title	Hacia un sistema I polimórfico
title_short	Hacia un sistema I polimórfico
title_full	Hacia un sistema I polimórfico
title_fullStr	Hacia un sistema I polimórfico
title_full_unstemmed	Hacia un sistema I polimórfico
title_sort	hacia un sistema i polimórfico
publishDate	2019
url	http://sedici.unlp.edu.ar/handle/10915/91092
work_keys_str_mv	AT sottilecristian haciaunsistemaipolimorfico AT diazcaroalejandro haciaunsistemaipolimorfico AT martinezlopezpabloe haciaunsistemaipolimorfico
bdutipo_str	Repositorios
_version_	1764820490687348736

Hacia un sistema I polimórfico

Ejemplares similares