Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2020-03-18T16:07:51Z
dc.date.available 2020-03-18T16:07:51Z
dc.date.issued 2019
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/91092
dc.description.abstract 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. es
dc.format.extent 717-726 es
dc.language es es
dc.subject Lambda cálculo es
dc.subject Teoría de tipos es
dc.subject Isomorfismos de tipos es
dc.subject Polimorfismo es
dc.title Hacia un sistema I polimórfico es
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-987-688-377-1 es
sedici.creator.person Sottile, Cristian es
sedici.creator.person Díaz Caro, Alejandro es
sedici.creator.person Martínez López, Pablo E. es
sedici.description.note XVI Workshop Ingeniería de Software. es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.date.exposure 2019-10
sedici.relation.event XXV Congreso Argentino de Ciencias de la Computación (CACIC) (Universidad Nacional de Río Cuarto, Córdoba, 14 al 18 de octubre de 2019) es
sedici.description.peerReview peer-review es
sedici.relation.isRelatedWith http://sedici.unlp.edu.ar/handle/10915/90359 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (921.5Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)